基本信息
陈绍示  男  博导  中国科学院数学与系统科学研究院
电子邮件: 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 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

合作情况

   
项目协作单位
   

指导学生