Lagrange's theorem for binary squares

DOI10.4230/LIPICS.MFCS.2018.18MaRDI QIDQ5005118zbMATH OpenFDO

Authors Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey Shallit

Publication date 4 August 2021

Full work available at URL https://arxiv.org/abs/1710.04247

zbMATH Keywords

additive number theorybinary squaredecidable theorydecision procedurefinite automatontheorem-proving

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Additive number theory via automata theory
• Additive number theory via approximation by regular languages
• Additive Number Theory via Approximation by Regular Languages
• Lagrange's four-square theorem
• Combinatorial principles in elementary number theory

Cites work

• Elementary Methods in Number Theory
• Every natural number is the sum of forty-nine palindromes
• Every positive integer is a sum of three palindromes
• scientific article; zbMATH DE number 3916389 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1995953 (Why is no real title available?)
• scientific article; zbMATH DE number 2024859 (Why is no real title available?)
• scientific article; zbMATH DE number 914352 (Why is no real title available?)
• scientific article; zbMATH DE number 2229022 (Why is no real title available?)
• On the sum of two squares and two powers of k
• Sums of Palindromes: an Approach via Automata
• The Hardy-Littlewood method.
• Waring's Problem
• Waring's Problem

Cited in

(7)

• Additive number theory via automata theory
• Say no to case analysis: automating the drudgery of case-based proofs
• Swan's theorem for binary tetranomials
• Sums of Palindromes: an Approach via Automata
• scientific article; zbMATH DE number 3857232 (Why is no real title available?)
• ADDITIVE BASES AND NIVEN NUMBERS
• Lagrange's Theorem for Binary Squares

Describes a project that uses

Uses Software

• OEIS

This page was built for publication: Lagrange's theorem for binary squares

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5005118)