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

研究领域

符号计算与机器证明、组合数学、计算微分代数、算术动力系统

招生信息

欢迎对符号计算、组合数学、算术动力系统等研究方向感兴趣的同学报考!

招生专业
070104-应用数学
招生方向
符号计算与机器证明
组合数学

教育背景

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

博士研究生

学位

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

工作经历

2024/04 -- 至今, 研究员, 中国科学院数学与系统科学研究院
2017/03 -- 2024/04, 副研究员, 中国科学院数学与系统科学研究院 
2013/07 -- 2017/03, 助理研究员, 中国科学院数学与系统科学研究院 


简历
2015-10~2016-08,加拿大滑铁卢大学计算机系, Fields-Ontario 博士后
2013-07~现在, 中国科学院数学与系统科学研究院, 助理研究员
2011-08~2013-07,美国北卡罗来纳州立大学数学系, 博士后
2011-02~2011-08,奥地利林茨大学符号计算研究所, 博士后
社会兼职
2023-07-30-今,Journal of Symbolic Computation, 编委
2023-07-27-2027-07-01,中国运筹学会图论组合分会, 副秘书长
2023-01-20-今,Journal of Difference Equations and Applications, 编委
2021-06-05-2025-06-06,中国数学会计算机数学专业委员会, 秘书长
2021-05-31-2025-05-31,国际计算机协会符号与代数计算专业委员会(ACM SIGSAM ), 秘书长
2020-01-01-今,Journal of Systems Science and Complexity, 编委
2019-09-01-今,Annals of Combinatorics, 编委

教授课程

抽象代数 II (中科院-北航华罗庚班)
线性代数习题课

专利与奖励

   
奖励信息
(1) 2022年度国际计算机代数应用大会青年学者奖, 其他, 2022
(2) ISSAC2021杰出论文奖, 其他, 2021
(3) 吴文俊计算机数学青年学者奖, 研究所(学校), 2019
(4) ISSAC2014 杰出海报奖, 其他, 2014
(5) 2014年度“突出科研成果奖”, 研究所(学校), 2014
(6) 陈景润未来之星, 研究所(学校), 2014

出版信息

   
发表论文
(1) D-finiteness, rationality, and height III: multivariate Polya-Carlson dichotomy, Mathematische Zeitschrift, 2024, 第 2 作者
(2) Telescopers for Differential Forms with One Parameter, Selecta Mathematica New Series, 2024, 第 1 作者
(3) Stability Problems in Symbolic Integration, Proceedings of ISSAC'22, 2022, 通讯作者
(4) Constructing minimal telescopers for rational functions in three discrete variables, ADVANCES IN APPLIED MATHEMATICS, 2022, 第 1 作者
(5) On the existence of telescopers for rational functions in three variables, JOURNAL OF SYMBOLIC COMPUTATION, 2021, 第 1 作者
(6) Separability Problems in Creative Telescoping, 2021, 第 1 作者
(7) Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions, 2021, 第 1 作者
(8) Rational dynamical systems, S-units, and D-finite power series, ALGEBRA & NUMBER THEORY, 2021, 第 2 作者
(9) Integral Bases for P-Recursive Sequences, Proceedings of ISSAC'20, 2020, 第 1 作者
(10) Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases, PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19), 2019, 通讯作者
(11) Apparent singularities of D-finite systems, JOURNAL OF SYMBOLIC COMPUTATION, 2019, 通讯作者
(12) Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms, JOURNAL OF SYMBOLIC COMPUTATION, 2019, 通讯作者
(13) Additive Decompositions in Primitive Extensions, ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2018, 通讯作者
(14) Reduction-based creative telescoping for fuchsian D-finite functions, JOURNAL OF SYMBOLIC COMPUTATION, 2018, 通讯作者
(15) Power series with coefficients from a finite set, JOURNAL OF COMBINATORIAL THEORY SERIES A, 2017, 第 2 作者
(16) Desingularization of Ore operators, JOURNAL OF SYMBOLIC COMPUTATION, 2016, 通讯作者
(17) 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), 2015, 通讯作者
(18) On the existence of telescopers for mixed hypergeometric terms, JOURNAL OF SYMBOLIC COMPUTATION, 2015, 通讯作者
(19) On the summability of bivariate rational functions, JOURNAL OF ALGEBRA, 2014, 第 1 作者
(20) Parallel telescoping and parameterized Picard-Vessiot theory, Proc. ISSAC2014, 2014, 
(21) Residues and telescopers for bivariate rational functions, ADVANCES IN APPLIED MATHEMATICS, 2012, 第 1 作者
(22) Trading order for degree in creative telescoping, JOURNAL OF SYMBOLIC COMPUTATION, 2012, 通讯作者
(23) A Generalized Apagodu-Zeilberger Algorithm, 第 1 作者
(24) Complexity of Creative Telescoping for Bivariate Rational Functions, 第 2 作者
(25) Bivariate Extensions of Abramov's Algorithm for Rational Summation, 第 1 作者
(26) Desingularization Explains Order-Degree Curves for Ore Operators, 第 1 作者
(27) Hermite Reduction and Creative Telescoping for Hyperexponential Functions, 第 2 作者
(28) How to generate all possible rational Wilf-Zeilberger pairs?, 第 1 作者
(29) Order-Degree Curves for Hypergeometric Creative Telescoping, 第 1 作者
(30) On the Structure of Compatible Rational Functions, 第 1 作者
(31) Telescopers for Rational and Algebraic Functions via Residues, 第 1 作者

科研活动

   
科研项目
( 1 ) Wilf-Zeilberger 理论的算法设计,复杂度分析及其应用, 负责人, 国家任务, 2016-01--2018-12
( 2 ) 基于符号-数值混合计算的线性微分-差分方程的理 论及其算法研究, 参与, 国家任务, 2014-01--2017-12
( 3 ) 中国科学院青年创新促进会会员基金, 负责人, 中国科学院计划, 2018-01--2021-12
( 4 ) 中国科学院青年创新促进会优秀会员, 负责人, 中国科学院计划, 2023-01--2025-12
( 5 ) 多变元D-有限幂级数的理论、算法及其在组合分析中的应用, 负责人, 国家任务, 2019-01--2022-12
( 6 ) P-递归多项式序列的算术理论、符号算法及其在组合分析中的应用, 负责人, 国家任务, 2023-01--2026-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