基本信息
陈绍示 男 博导 中国科学院数学与系统科学研究院
电子邮件: schen@amss.ac.cn
通信地址: 中关村东路55号,思源楼,数学机械化中心
邮政编码: 100190
电子邮件: schen@amss.ac.cn
通信地址: 中关村东路55号,思源楼,数学机械化中心
邮政编码: 100190
研究领域
符号计算, 组合数学, 计算微分代数
招生信息
欢迎对组合数学与符号计算有兴趣的同学报考!
招生专业
070104-应用数学
070101-基础数学
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