现在位置:首页 > 学术报告
 

 

Academy of Mathematics and Systems Science, CAS
Colloquia & Seminars

Speaker:

韩国牛 教授, University of Strasbourg and CNRS, France

Inviter:  
Title:
Hankel determinants: From human proofs to computer assisted proofs
Time & Venue:
2018.5.31 15:00-16:00 N219
Abstract:
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.
This talk is dedicated to the memory of Prof. Wen-Tsun Wu (1919.05.12--2017.05.07)
 

 

附件下载:
 
 
【打印本页】【关闭本页】
电子政务平台   |   科技网邮箱   |   ARP系统   |   会议服务平台   |   联系我们   |   友情链接