Geodesic
Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton
Narad Rampersad1 ; Jeffrey Shallit2
1University of Winnipeg
2University of Waterloo
The electronic journal of combinatorics, Tome 29 (2022) no. 3
Cet article a éte moissonné depuis la source The Electronic Journal of Combinatorics website

Voir la notice de l'article

Certain famous combinatorial sequences, such as the Catalan numbers and the Motzkin numbers, when taken modulo a prime power, can be computed by finite automata. Many theorems about such sequences can therefore be proved using Walnut, which is an implementation of a decision procedure for proving various properties of automatic sequences. In this paper we explore some results (old and new) that can be proved using this method.
DOI : 10.37236/10799
Classification : 68R15, 11A07, 11B65, 11B85, 68Q45, 68V15
Mots-clés : automatic sequences, Walnut, combinatorial sequences, Rowland-Yassawi-Zeilberger automaton

Narad Rampersad  1   ; Jeffrey Shallit  2

1 University of Winnipeg
2 University of Waterloo 
@article{10_37236_10799,
     author = {Narad Rampersad and Jeffrey Shallit},
     title = {Congruence properties of combinatorial sequences via {Walnut} and the {Rowland-Yassawi-Zeilberger} automaton},
     journal = {The electronic journal of combinatorics},
     year = {2022},
     volume = {29},
     number = {3},
     doi = {10.37236/10799},
     zbl = {1529.68239},
     url = {http://geodesic.mathdoc.fr/articles/10.37236/10799/}
}
TY  - JOUR
AU  - Narad Rampersad
AU  - Jeffrey Shallit
TI  - Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton
JO  - The electronic journal of combinatorics
PY  - 2022
VL  - 29
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.37236/10799/
DO  - 10.37236/10799
ID  - 10_37236_10799
ER  - 
%0 Journal Article
%A Narad Rampersad
%A Jeffrey Shallit
%T Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton
%J The electronic journal of combinatorics
%D 2022
%V 29
%N 3
%U http://geodesic.mathdoc.fr/articles/10.37236/10799/
%R 10.37236/10799
%F 10_37236_10799
Narad Rampersad; Jeffrey Shallit. Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton. The electronic journal of combinatorics, Tome 29 (2022) no. 3. doi: 10.37236/10799

Cité par Sources :