Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sums of Palindromes: an Approach via Automata   Recently, Cilleruelo, Luca, & Baxter proved, for all bases b >= 5, that every
natural number is the sum of at most 3 natural numbers whose base-b
representation is a palindrome. However, the cases b = 2, 3, 4 were left
unresolved.
  We prove, using a decision procedure based on automata, that every natural
number is the sum of at most 4 natural numbers whose base-2 representation is a
palindrome. Here the constant 4 is optimal. We obtain similar results for bases
3 and 4, thus completely resolving the problem.
  We consider some other variations on this problem, and prove similar results.
We argue that heavily case-based proofs are a good signal that a decision
procedure may help to automate the proof.

6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio