陈绍示的个人简介
陈绍示， 男，汉 族，浙江人，1983年07月17日出生，党员，博士研究生。
人物经历
2011年1月, 数学与系统科学研究院, 应用数学博士学位。
2012年5月,巴黎综合理工学校, 计算机科学博士学位。
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
