Hankel determinants: From human proofs to computer assisted proofs

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