Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton

DOI10.37236/10799zbMath1529.68239arXiv2110.06244MaRDI QIDQ6380119

Narad Rampersad, Jeffrey O. Shallit

Publication date: 12 October 2021

Mathematics Subject Classification ID

Binomial coefficients; factorials; (q)-identities (11B65) Combinatorics on words (68R15) Formal languages and automata (68Q45) Congruences; primitive roots; residue systems (11A07) Automata sequences (11B85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton