
Keywords: 05-04; 05A15; 11A55; 11B50; 11B85; 11C20; 11J82; 11T99; 11Y65; 15-04; 15A15; 15B33; 30B70; Hankel determinant; Automatic proof; Hankel continued fraction; Automatic sequence; Thue-Morse sequence; Modulo p; Stieltjes algorithm; Integer sequence; Periodic