no code implementations • 30 Jun 2017 • Aayush Rajasekaran, Jeffrey Shallit, Tim Smith
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.
Formal Languages and Automata Theory Combinatorics Number Theory
