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

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

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] Mathematische Zeitschrift. 2024, 第 2 作者
[2] 陈绍示, 冯如勇, 李子明, Michael F. Singer, Stephen M. Watt. Telescopers for differential forms with one parameter. Selecta Mathematica[J]. 2024, 第 1 作者30(36): 
[3] Selecta Mathematica New Series. 2024, 第 1 作者
[4] 陈绍示, 冯如勇, 郭泽旺, 陆伟. Stability Problems on D-finite Functions. Proc. ISSAC2023. 2023, 第 1 作者  通讯作者  
[5] Chen, Shaoshi. Stability Problems in Symbolic Integration. Proceedings of ISSAC'22. 2022, 第 1 作者  通讯作者  
[6] 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, 第 1 作者141: 31, http://dx.doi.org/10.1016/j.aam.2022.102389.
[7] 陈绍示, 冯如勇, 马平川. Separability problem in creative telescoping. Proc.ISSAC2021[J]. 2021, 第 1 作者
[8] 陈绍示, 牟晨琪. 前言. 系统科学与数学[J]. 2021, 第 1 作者41(12): I0001-I0001, http://lib.cqvip.com/Qikan/Article/Detail?id=7106971952.
[9] Chen, Shaoshi, Du, Lixin, Wang, RongHua, Zhu, Chaochao. On the existence of telescopers for rational functions in three variables. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2021, 第 1 作者104: 494-522, http://dx.doi.org/10.1016/j.jsc.2020.08.006.
[10] Chen, Shaoshi, Feng, Ruyong, Ma, Pingchuan, Singer, Michael F. Separability Problems in Creative Telescoping. 2021, 第 1 作者http://arxiv.org/abs/2102.03693.
[11] Chen, Shaoshi, Du, Lixin, Kauers, Manuel. Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. 2021, 第 1 作者http://arxiv.org/abs/2102.06538.
[12] Bell, Jason P, Chen, Shaoshi, Hossain, Ehsaan. Rational dynamical systems, S-units, and D-finite power series. ALGEBRA & NUMBER THEORY[J]. 2021, 第 2 作者15(7): 1699-1728, 
[13] 陈绍示. Integral Bases for P-Recursive Sequences. Proceedings of ISSAC'20. 2020, 第 1 作者
[14] Chen, Shaoshi, ACM. A Reduction Approach to Creative Telescoping. PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19). 2019, 第 1 作者11-14, http://dx.doi.org/10.1145/3326229.3326277.
[15] Chen, Shaoshi, Guo, Jing. Additive Ore-Sato Theorem. ACM COMMUNICATIONS IN COMPUTER ALGEBRA[J]. 2019, 第 1 作者53(3): 96-98, 
[16] Chen, Shaoshi, Du, Lixin, Zhu, Chaochao, ACM. 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, 第 1 作者82-89, http://dx.doi.org/10.1145/3326229.3326231.
[17] Chen, Shaoshi, Kauers, Manuel, Li, Ziming, Zhang, Yi. Apparent singularities of D-finite systems. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2019, 第 1 作者  通讯作者  95: 217-237, http://ir.amss.ac.cn/handle/2S8OKBNM/34971, http://www.irgrid.ac.cn/handle/1471x/6869783, http://ir.amss.ac.cn/handle/2S8OKBNM/34972, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000470955400013&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=3a85505900f77cc629623c3f2907beab.
[18] Chen, Shaoshi, Koutschan, Christoph. Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2019, 第 1 作者  通讯作者  93: 133-147, http://ir.amss.ac.cn/handle/2S8OKBNM/32400.
[19] Chen Shaoshi, Du Hao, Li Ziming, Assoc Comp Machinery. Additive Decompositions in Primitive Extensions. ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION. 2018, 第 1 作者135-142, http://dx.doi.org/10.1145/3208976.3208987.
[20] Chen, Shaoshi, van Hoeij, Mark, Kauers, Manuel, Koutschan, Christoph. Reduction-based creative telescoping for fuchsian D-finite functions. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2018, 第 1 作者  通讯作者  85: 108-127, http://dx.doi.org/10.1016/j.jsc.2017.07.005.
[21] Shaoshi, Chen, Manuel, Kauers. Some Open Problems Related to Creative Telescoping. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2017, 第 1 作者  通讯作者  30(1): 154-172, http://ir.amss.ac.cn/handle/2S8OKBNM/44799, http://www.irgrid.ac.cn/handle/1471x/6867913, http://ir.amss.ac.cn/handle/2S8OKBNM/44800.
[22] Chen Shaoshi, Kauers Manuel. someopenproblemsrelatedtocreativetelescoping. JOURNALOFSYSTEMSSCIENCEANDCOMPLEXITY[J]. 2017, 第 1 作者30(1): 154, http://ir.amss.ac.cn/handle/2S8OKBNM/44799, http://www.irgrid.ac.cn/handle/1471x/6867913, http://ir.amss.ac.cn/handle/2S8OKBNM/44800.
[23] Bell, Jason P, Chen, Shaoshi. Power series with coefficients from a finite set. JOURNAL OF COMBINATORIAL THEORY SERIES A[J]. 2017, 第 2 作者151: 241-253, https://www.webofscience.com/wos/woscc/full-record/WOS:000405359700012.
[24] Chen, Shaoshi, Watt, Stephen M, Davenport, J, Negru, V, Ida, T, Jebelean, T, Petcu, D, Watt, S, Zaharie, D. Combinatorics of Hybrid Sets. PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC). 2016, 第 1 作者60-64, 
[25] Chen Shaoshi, Kauers Manuel, Koutschan Christoph, Rosenkranz M. Reduction-Based Creative Telescoping for Algebraic Functions. PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016). 2016, 第 1 作者175-182, http://dx.doi.org/10.1145/2930889.2930901.
[26] Chen, Shaoshi, Kauers, Manuel, Singer, Michael F. Desingularization of Ore operators. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2016, 第 1 作者  通讯作者  74: 617-626, http://dx.doi.org/10.1016/j.jsc.2015.11.001.
[27] 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). 2015, 第 1 作者117-124, http://dx.doi.org/10.1145/2755996.2756648.
[28] 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, 第 1 作者  通讯作者  68: 1-26, http://dx.doi.org/10.1016/j.jsc.2014.08.005.
[29] Chen, Shaoshi, Singer, Michael F. On the summability of bivariate rational functions. JOURNAL OF ALGEBRA[J]. 2014, 第 1 作者409: 320-343, http://dx.doi.org/10.1016/j.jalgebra.2014.03.023.
[30] Ziming Li. Parallel telescoping and parameterized Picard-Vessiot theory. Proc. ISSAC2014. 2014, 
[31] Chen, Shaoshi, Singer, Michael F. Residues and telescopers for bivariate rational functions. ADVANCES IN APPLIED MATHEMATICS[J]. 2012, 第 1 作者49(2): 111-133, http://dx.doi.org/10.1016/j.aam.2012.04.003.
[32] Chen, Shaoshi, Kauers, Manuel. Trading order for degree in creative telescoping. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2012, 第 1 作者  通讯作者  47(8): 968-995, http://dx.doi.org/10.1016/j.jsc.2012.02.002.
[33] 孙茂荣, 陈绍示. “杜西结论”的推广. 安徽大学学报：自然科学版[J]. 2011, 第 2 作者35(5): 32-36, http://lib.cqvip.com/Qikan/Article/Detail?id=39455144.
[34] Chen, Shaoshi, Kauers, Manuel, Koutschan, Christoph. A Generalized Apagodu-Zeilberger Algorithm. 第 1 作者http://arxiv.org/abs/1402.2409.
[35] Bostan, Alin, Chen, Shaoshi, Chyzak, Frédéric, Li, Ziming. Complexity of Creative Telescoping for Bivariate Rational Functions. 第 2 作者http://arxiv.org/abs/1301.5045.
[36] Chen, Shaoshi. Bivariate Extensions of Abramov's Algorithm for Rational Summation. 第 1 作者http://arxiv.org/abs/1706.09134.
[37] Chen, Shaoshi, Jaroschek, Maximilian, Kauers, Manuel, Singer, Michael F.. Desingularization Explains Order-Degree Curves for Ore Operators. 第 1 作者http://arxiv.org/abs/1301.0917.
[38] Bostan, Alin, Chen, Shaoshi, Chyzak, Frédéric, Li, Ziming, Xin, Guoce. Hermite Reduction and Creative Telescoping for Hyperexponential Functions. 第 2 作者http://arxiv.org/abs/1301.5038.
[39] Chen, Shaoshi. How to generate all possible rational Wilf-Zeilberger pairs?. 第 1 作者http://arxiv.org/abs/1802.09798.
[40] Chen, Shaoshi, Kauers, Manuel. Order-Degree Curves for Hypergeometric Creative Telescoping. 第 1 作者http://arxiv.org/abs/1201.1982.
[41] Chen, Shaoshi, Feng, Ruyong, Fu, Guofeng, Li, Ziming. On the Structure of Compatible Rational Functions. 第 1 作者http://arxiv.org/abs/1301.5046.
[42] Chen, Shaoshi, Kauers, Manuel, Singer, Michael F.. Telescopers for Rational and Algebraic Functions via Residues. 第 1 作者http://arxiv.org/abs/1201.1954.

   

（ 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