基本信息
陈绍示男博导中国科学院数学与系统科学研究院
电子邮件： 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）Desingularization of Ore Operators,Journal of Symbolic Computation,2016,第1作者
（2）A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms,Proceedings of ISSAC'15,2015,第1作者
（3）On the Existence of Telescopers for Mixed Hypergeometric Terms,Journal of Symbolic Computation,2015,第1作者
（4）Parallel Telescoping and Parameterized Picard-Vessiot Theory,Proceedings of ISSAC'14,2014,第1作者
（5）A Generalized Apagodu-Zeilberger Algorithm,Proceedings of ISSAC'14,2014,第1作者
（6）On the Summability of Bivariate Rational Functions,Journal of Algebra,2014,第1作者
（7）Hermite Reduction and Creative Telescoping for Hyperexponential Functions,Proceedings of ISSAC'13,2013,通讯作者
（8）Desingularization Explains Order-Degree Curves for Ore Operators,Proceedings of ISSAC'13,2013,第1作者
（9）Residues and Telescopers for Bivariate Rational Functions,Advance in Applied Mathematics,2012,第1作者
（10）. Order-Degree Curves for Hypergeometric Creative Telescoping,Proceedings of ISSAC'12,2012,第1作者
（11）Telescopers for Rational and Algebraic Functions via Residues,Proceedings of ISSAC'12,2012,第1作者
（12）Trading Order for Degree in Creative Telescoping,Journal of Symbolic Computation,2012,第1作者
（13）On the Structure of Compatible Rational Functions,Proceedings of ISSAC'11,2011,第1作者
（14）Complexity of Creative Telescoping for Bivariate Rational Functions,Proceedings of ISSAC'10,2010,通讯作者

发表著作

科研活动
科研项目（ 1 ） Wilf-Zeilberger 理论的算法设计，复杂度分析及其应用, 主持,国家级,2016-01--2018-12
（ 2 ） 基于符号-数值混合计算的线性微分-差分方程的理 论及其算法研究, 参与,国家级,2014-01--2017-12

参与会议（1）A improved Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms2015年度国际符号与代数计算年会(ISSAC2015)陈绍示2015-07-06
（2）Parallel telescoping and parameterized Picard-Vessiot theory2014年度在国际符号与代数计算年会(ISSAC2014)Shaoshi Chen, Ruyong Feng, Ziming Li and Michael F. Singer2014-07-23
（3）Hermite reduction and creative telescoping for hyperexponential functions2013年度国际符号与代数计算年会(ISSAC2013)Alin Bostan, Shaoshi Chen, Frederic Chyzak, Ziming Li and Guoce Xin2013-06-26


合作情况
项目协作单位

指导学生