人物經(jīng)歷
2011年1月, 數(shù)學(xué)與系統(tǒng)科學(xué)研究院, 應(yīng)用數(shù)學(xué)博士學(xué)位。
2012年5月,巴黎綜合理工學(xué)校, 計算機科學(xué)博士學(xué)位。
2007年12月 --- 2011年02月 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院與法國巴黎綜合理工學(xué)校聯(lián)合培養(yǎng)博士。
研究方向：符號計算。
導(dǎo) 師：李子明 (中方) 與 Frédéric Chyzak (法方)。
2005年09月 --- 2010年12月 數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)所 碩博連讀。
研究方向：符號計算。
導(dǎo) 師：李子明。
2001.09 --- 2005.07 江蘇大學(xué) 獲得理學(xué)學(xué)士學(xué)位。
學(xué)習(xí)專業(yè)：信息與計算科學(xué)。
研究方向
研究方向 ：符號計算, 微分代數(shù)。
主要貢獻(xiàn)
主要成果
證明了多變元相容有理函數(shù)的結(jié)構(gòu)分解定理, 從而推廣了經(jīng)典的 Ore-Sato 定理.
解決了 Zeilberger 算法對于超指數(shù)-超幾何項的終止性判定問題.
給出了計算三個變元有理函數(shù)的差和算子 (telescoper) 的高效算法.
提出了基于Hermite 約化的計算超指數(shù)函數(shù)差和算子的高效算法.
發(fā)表文章
1.Alin Bostan, Shaoshi Chen, Frederic Chyzak, Ziming Li. Complexity of Creative Telescoping for Bivariate Rational Functions. In: Proceedings of ISSAC 2010: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, New York, ACM Press
2.Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li. On the Structure of Compatible Rational Functions. In: Proceedings of ISSAC 2011: Proceedings of the 2011 International Symposium on Symbolic and Algebraic Computation, New York, ACM Press
3.Shaoshi Chen and Manuel Kauers. Trading Order for Degree in Creative Telescoping. Journal of Symbolic Computation
4.Shaoshi Chen and Michael F. Singer. Residues and Telescopers for Bivariate Rational Functions. Advances in Applied Mathematics,
5.Shaoshi Chen and Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. In: Proceedings of ISSAC 2012: Proceedings of the 2012 International Symposium on Symbolic and Algebraic Computation, New York, N.Y., ACM Press
6.Shaoshi Chen, Manuel Kauers, and Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. In: Proceedings of ISSAC 2012: Proceedings of the 2012 International Symposium on Symbolic and Algebraic Computation, New York,ACM Press
7.Alin Bostan, Shaoshi Chen, Frederic Chyzak, Ziming Li, Guoce Xin. Hermite Reduction and Creative Telescoping for Hyperexponential Functions. In: Proceedings of ISSAC 2013: Proceedings of the 2013 International Symposium on Symbolic and Algebraic Computation, New York, ACM Press
8.Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer. Desingularization Explains Order-Degree Curves for Ore Operators. In: Proceedings of ISSAC 2013: Proceedings of the 2013 International Symposium on Symbolic and Algebraic Computation, New York, ACM Press