…对于钓鱼可以说很像数学它永远不会被完全学会；至少不太充分，但在那里仍将有更多新的实验留给接替我们的其他人进行试验。--来自垂钓大全通过艾萨克·沃顿 

研究兴趣：

• 符号计算（符号积分和求和）
• 微分与差分代数（伽罗瓦理论）
• 组合数学（Wilf-Zeilberger方法）
• 算术动力学（P-递归序列动力学）

教育程度：

• 2001/09-2005/07，理学学士。，数学，江苏大学中国江苏。
• 2005年9月-2010年12月，应用数学博士，数学与系统科学学院，中国科学院，北京，中国。

主管：李子明(AMSS公司，中国）。

• 2007/12--2011/02，计算机科学博士，联合指导数学与系统科学学院（中国北京）和埃科尔理工学院（法国巴黎）。

共同监督人：弗雷德里克·切扎克(印度，法国）和李子铭(AMSS公司，中国）。

论文：微分差分代数在创造性伸缩中的一些应用 （中文版）

位置：

• 2024/04至今，全职教授，中国科学院数学与系统科学研究院中国北京。
• 2017/03-2024/04，副教授，中国科学院数学与系统科学研究院中国北京。
• 2013/07--2017/03，助理教授，中国科学院数学与系统科学研究院中国北京。
• 2015年10月——2016年8月，安大略省菲尔兹博士后研究员，菲尔德研究所和滑铁卢大学数学系加拿大安大略省

  使用斯蒂芬·瓦特和乔治·拉巴恩.

• 2011/08--2013/07，博士后研究员，北卡罗来纳州立大学数学系美国罗利。

  使用迈克尔·辛格.

• 2011/02--2011/08，博士后研究员，符号计算研究所, 奥地利哈根堡林茨约翰内斯·开普勒大学。

  使用曼努埃尔·考尔斯.

专业活动：

学术职位

大股东[ISSAC指导委员会]（2019年7月至2022年7月）

公司秘书[ACM SIGSAM]（2021年7月至2023年6月）

中国数学会计算机数学专业委员会秘书长(的秘书【中国计算机数学学会】)（2021年6月至2025年6月）

编辑委员会

符号计算杂志[期刊主页]（自2023年起）

差分方程与应用杂志[期刊主页]（自2023年起）

Maple Transactions（开放存取在线期刊）[期刊主页]（自2021年起）

系统科学与复杂性杂志[期刊主页]（自2020年起）

组合年刊[期刊主页]（自2019年起）

系统科学与数学 （系统科学与数学科学杂志中文版）[期刊主页]（自2019年起）

计算机代数中的ACM通信[期刊主页]（自2014年起）

预印本：

1. 如何生成所有可能的Rational Wilf–Zeilberger表单？，2024.
   与Christoph Koutschen和Yisen Wang合作：[PDF]（PDF格式）

2. P-递归扩展中的并行求和，2024.
   与冯汝永、考尔斯和李秀云：[PDF]（PDF格式）出现在ISSAC2024会议记录中。

3. 多项式的移位等价性检验和多元有理函数的符号求和，2023（更新）.
   与杜立新和方汉谦：[PDF]（PDF格式） [枫叶套餐]

4. 基于约简的P-递归序列创造性伸缩通过积分基础，2023年.
   与杜立新、考尔斯和王荣华：[PDF]（PDF格式）出现在符号计算杂志上。

5. 减少单项式扩张上的超指数函数，2023.
   与郝杜、高一曼和李子明：[PDF]（PDF格式）发表在《系统科学与复杂性杂志》上。

已发表论文：公众人物

博士生：

卞华军（2023/09-2028/07）

Hanqian Fang（方芊，2022/09-2027/07）

李秀云（2021/09-2026/07，与曼纽尔·考尔斯联合攻读博士学位）

Yisen Wang（2021/09-2026/07，与Christoph Koutschen联合攻读博士学位）

马平川（马平川，2019/09-2024/07）

杜立新（2017/09-2022/07，与曼努埃尔·考尔斯联合攻读博士学位，现任林茨约翰内斯·开普勒大学博士后）

朱朝超（2016/09-2021/07，现就读于皖西大学）

Postdocs（Postdoc）：

张英瑞（Yingrui Zhang，2022/07-2024/08）

余天龙（2021/07-2023/08）

会谈：

1. 创造性望远镜中的可分性问题。ISSAC2021，俄罗斯圣彼得堡，2021年7月20日。[幻灯片] [纸张]

2. 创造性伸缩的简化方法。2019年，中国北京，北京航空航天大学，ISSAC2019辅导讲座。[幻灯片] [扩展摘要]

3. 如何通过算法生成所有可能的WZ对？2018年中国数学学会年会，贵州贵阳，中国。[幻灯片]

4. 符号整合：简介。学院研讨会数学，辽宁师范大学，大连，中国，2018。[幻灯片]

5. 枚举组合数学中的D-有限生成函数。2018年中国组合数学与图论大会，中国合肥，2018。[幻灯片]

6. D-有限幂级数的合理性定理。学院研讨会数学科学，华东师范大学，中国上海，2018。[幻灯片]

7. 基于约简的创造性望远镜算法。CMS-AMS联合国际会议，中国上海，2018年。[幻灯片]

8. D-有限函数：算法、分析和算法方面。2017年计算机数学，中国湘潭，2017。[幻灯片]

9. 具有有限集系数的幂级数。《莱迪思在代数、分析和组合数学的界面上行走》（2017），加拿大班夫，2017年。[幻灯片]

10. 创造性的远程应对：理论与算法。2016年，加拿大西部大学，MITACS研讨会系列/ORCCA联合实验室会议。[幻灯片]

研究笔记（未发表）：

1. 关于Lipshitz引理3的一个注记.
   具有李子明,2011: [PDF]（PDF格式）.

2. 关于奥斯特罗格拉德斯基和霍洛维茨方法的注记.
   具有李子明,2010: [PDF]（PDF格式）.

3. 关于“符号积分I”一书中实初等函数的练习（第二版）.
   具有冯汝永,李子明,王怀富，2008： [PDF]（PDF格式）.

教学：

1. 线性代数（2014-2015）在中国科学院大学.
2. 线性代数（2016-2017）在中国科学院大学.
3. 抽象代数II（2019-2020）在北京航空航天大学.
4. 抽象代数II（2021-2021）在北京航空航天大学.

研讨会和会议：

1. 算术动力学前沿研讨会（FIAD2024）
2. 计算机数学研讨会
3. ACA 2022特别会议：D-有限函数及其以外：算法、组合数学和算术
4. 组合数学和符号计算研讨会

极限米