题目：           Hankel determinants: From human proofs to computer assisted proofs

报告人：       韩国牛  (University of Strasbourg and CNRS)

时间地点：   2018.05.31  15:00pm  N219

摘要：           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.