报告题目: Polynomial Reduction and π-Series
报告人: 汪荣华 副教授（天津工业大学）
报告时间：2022年12月06日（星期二）14:00-15:00
报告地点：腾讯视频会议（线上）
会议ID：667-283-668
报告校内联系人：黄辉 副教授 联系方式：huanghui@dlut.edu.cn
报告摘要：We will introduce the theory and classical algorithms in the mechanical proofs of combinatorial identities, among which the reduction based algorithms have gained the most attention. In this talk, we will also introduce the (q-)polynomial reduction and applications in the automatically proof of π-series and congruences.
报告人简介：汪荣华，副教授，硕士生导师，奥地利林茨大学博士后。主要研究方向为组合数学与计算机代数，在《Advances in Applied Mathematics》、《Journal of Number Theory》、《Journal of Symbolic Computation》等期刊发表论文十余篇，主持在研国家青年基金1项，主持完成天津市青年基金1项、中科院数学机械化重点实验室开放课题1项，参与完成国家优青项目一项、面上项目2项。中国数学会计算机数学专业委员会委员，天津市“131”创新型人才培养工程第三层次人才，天津市“青年后备人才”。
