19 citations · 21 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.NT2017
Lagrange's Theorem for Binary Squares
Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran +1
We show how to prove theorems in additive number theory using a decision procedure based on finite automata. Among other things, we obtain the following analogue of Lagrange's theo…
cs.FL2017★ 1 cited
Sums of Palindromes: an Approach via Automata
Aayush Rajasekaran, Jeffrey Shallit, Tim Smith
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. Ho…