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)