基本信息
陈绍示  男  博导  中国科学院数学与系统科学研究院
电子邮件: schen@amss.ac.cn
通信地址: 中关村东路55号,思源楼,数学机械化中心
邮政编码: 100190

研究领域

符号计算, 组合数学, 计算微分代数

招生信息

欢迎对组合数学与符号计算有兴趣的同学报考!

招生专业
070104-应用数学
070101-基础数学
招生方向
符号计算

教育背景

2007-12--2011-02   巴黎综合理工学校   博士研究生,计算机科学博士学位
2005-09--2011-01   中国科学院数学与系统科学研究院   硕博连读研究生,应用数学博士学位
2001-09--2005-07   江苏大学   本科,理学学士学位
学历

博士研究生

学位

应用数学博士学位, 计算机科学博士学位

教授课程

线性代数习题课

专利与奖励

   
奖励信息
(1) ISSAC2014 杰出海报奖, 其他, 2014
(2) 2014年度“突出科研成果奖”, 研究所(学校), 2014
(3) 陈景润未来之星, 研究所(学校), 2014

出版信息

   
发表论文
[1] Chen, Shaoshi. Stability Problems in Symbolic Integration. Proceedings of ISSAC'22null. 2022, [2] Chen, Shaoshi, Hou, QingHu, Huang, Hui, Labahn, George, Wang, Rong Hua. Constructing minimal telescopers for rational functions in three discrete variables. ADVANCES IN APPLIED MATHEMATICS[J]. 2022, 141: http://dx.doi.org/10.1016/j.aam.2022.102389.
[3] Bell, Jason P, Chen, Shaoshi, Hossain, Ehsaan. Rational dynamical systems, S-units, and D-finite power series. ALGEBRA & NUMBER THEORY[J]. 2021, 15(7): 1699-1728, [4] Chen, Shaoshi, van Hoeij, Mark, Kauers, Manuel, Koutschan, Christoph. Reduction-based creative telescoping for fuchsian D-finite functions. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2018, 85: 108-127, http://dx.doi.org/10.1016/j.jsc.2017.07.005.
[5] Bell, Jason P, Chen, Shaoshi. Power series with coefficients from a finite set. JOURNAL OF COMBINATORIAL THEORY SERIES A[J]. 2017, 151: 241-253, https://www.webofscience.com/wos/woscc/full-record/WOS:000405359700012.
[6] Chen, Shaoshi, Kauers, Manuel, Singer, Michael F. Desingularization of Ore operators. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2016, 74: 617-626, http://dx.doi.org/10.1016/j.jsc.2015.11.001.
[7] Chen Shaoshi, Huang Hui, Kauers Manuel, Li Ziming, ACM. A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. PROCEEDINGS OF THE 2015 ACM ON INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'15)null. 2015, 117-124, http://dx.doi.org/10.1145/2755996.2756648.
[8] Chen, Shaoshi, Chyzak, Frederic, Feng, Ruyong, Fu, Guofeng, Li, Ziming. On the existence of telescopers for mixed hypergeometric terms. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2015, 68: 1-26, http://dx.doi.org/10.1016/j.jsc.2014.08.005.
[9] Chen, Shaoshi, Singer, Michael F. On the summability of bivariate rational functions. JOURNAL OF ALGEBRA[J]. 2014, 409: 320-343, http://dx.doi.org/10.1016/j.jalgebra.2014.03.023.
[10] Ziming Li. Parallel telescoping and parameterized Picard-Vessiot theory. Proc. ISSAC2014. 2014, [11] Chen, Shaoshi, Singer, Michael F. Residues and telescopers for bivariate rational functions. ADVANCES IN APPLIED MATHEMATICS[J]. 2012, 49(2): 111-133, http://dx.doi.org/10.1016/j.aam.2012.04.003.
[12] Chen, Shaoshi, Kauers, Manuel. Trading order for degree in creative telescoping. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2012, 47(8): 968-995, http://dx.doi.org/10.1016/j.jsc.2012.02.002.
[13] Chen, Shaoshi, Kauers, Manuel, Koutschan, Christoph. A Generalized Apagodu-Zeilberger Algorithm. http://arxiv.org/abs/1402.2409.
[14] Bostan, Alin, Chen, Shaoshi, Chyzak, Frédéric, Li, Ziming. Complexity of Creative Telescoping for Bivariate Rational Functions. http://arxiv.org/abs/1301.5045.
[15] Chen, Shaoshi, Jaroschek, Maximilian, Kauers, Manuel, Singer, Michael F.. Desingularization Explains Order-Degree Curves for Ore Operators. http://arxiv.org/abs/1301.0917.
[16] Bostan, Alin, Chen, Shaoshi, Chyzak, Frédéric, Li, Ziming, Xin, Guoce. Hermite Reduction and Creative Telescoping for Hyperexponential Functions. http://arxiv.org/abs/1301.5038.
[17] Chen, Shaoshi, Kauers, Manuel. Order-Degree Curves for Hypergeometric Creative Telescoping. http://arxiv.org/abs/1201.1982.
[18] Chen, Shaoshi, Feng, Ruyong, Fu, Guofeng, Li, Ziming. On the Structure of Compatible Rational Functions. http://arxiv.org/abs/1301.5046.
[19] Chen, Shaoshi, Kauers, Manuel, Singer, Michael F.. Telescopers for Rational and Algebraic Functions via Residues. http://arxiv.org/abs/1201.1954.

科研活动

   
科研项目
( 1 ) Wilf-Zeilberger 理论的算法设计,复杂度分析及其应用, 主持, 国家级, 2016-01--2018-12
( 2 ) 基于符号-数值混合计算的线性微分-差分方程的理 论及其算法研究, 参与, 国家级, 2014-01--2017-12
参与会议
(1)A improved Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms   2015年度国际符号与代数计算年会(ISSAC2015)   陈绍示   2015-07-06
(2)Parallel telescoping and parameterized Picard-Vessiot theory   2014年度在国际符号与代数计算年会(ISSAC2014)   Shaoshi Chen, Ruyong Feng, Ziming Li and Michael F. Singer   2014-07-23
(3)Hermite reduction and creative telescoping for hyperexponential functions   2013年度国际符号与代数计算年会(ISSAC2013)   Alin Bostan, Shaoshi Chen, Frederic Chyzak, Ziming Li and Guoce Xin   2013-06-26