Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Congruence properties of combinatorial sequences via Walnut and the
  Rowland-Yassawi-Zeilberger automaton   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.

33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol