26 citations · 74 across the 12 of their papers we have counts for
1 paper · 2 filters
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…