陳紹示

ation ation ation

個人簡況

姓 名 陳紹示
性 別 男
民 族 漢 族
籍 貫 浙江
出生年月 1983年07月17日
政治面貌 黨員
學 歷 博士研究生
學 位 2011年1月, 數學與系統科學研究院, 套用數學博士學位
2012年5月, 巴黎綜合理工學校, 計算機科學博士學位
研究方向 符號計算, 微分代數
通訊地址 北京市海淀區中關村東路 55 號系統所數學機械化重點實驗室

教育經歷

2007年12月 --- 2011年02月 中科院數學與系統科學研究院與法國巴黎綜合理工學校聯合培養博士
研究方向：符號計算
導 師：李子明 (中方) 與 Frédéric Chyzak (法方)
2005年09月 --- 2010年12月 數學與系統科學研究院系統所 碩博連讀
研究方向：符號計算
導 師：李子明
2001.09 --- 2005.07 江蘇大學 獲得理學學士學位
學習專業：信息與計算科學

主要成果

證明了多變元相容有理函式的結構分解定理, 從而推廣了經典的 Ore-Sato 定理.
解決了 Zeilberger 算法對於超指數-超幾何項的終止性判定問題.
給出了計算三個變元有理函式的差和運算元 (telescoper) 的高效算法.
提出了基於Hermite 約化的計算超指數函式差和運算元的高效算法.

發表文章

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