7月11日 韩国牛教授学术报告(数学与统计学院)

作者:时间:2019-07-09浏览:81设置

报 告 人:韩国牛 教授

报告题目:Hankel determinants: From human proofs to computer assisted proofs

报告时间:2019年7月11日(周四)下午3:30

报告地点:静远楼204报告厅

主办单位:数学与统计学院、科学技术研究院

报告人简介:

  韩国牛教授,1987年武汉大学毕业后到法国攻读博士学位,之后成为法国国家科研中心的研究员,在法国斯特拉斯堡大学的数学研究所工作。研究方向为组合计数理论,在组合双射理论取得系列重要成果,最近在整数分拆和Hankel行列式零点等问题的研究上也取得了重要进展。共发表论文百余篇。

报告摘要:

  In 1998, Allouche, Peyriere, Wen and Wen established a congruence relation between the Hankel determinants of the Thue-Morse sequence, and proved that all the Hankel determinants of the Thue-Morse sequence are nonzero. Similar properties for two other sequences, namely, the Gros sequence and the regular paperfolding sequence, were derived by Coons and Guo-Wu-Wen using the same method -- the human proof. In this talk, we present two computer assisted proofs, and show that the Hankel determinants of large classes of automatic sequences are nonzero or periodic. Our results include a power series analog of Euler-Lagrange’s theorem for real number. 

联 系 人:祝宝宣

.


返回原图
/