arXiv:1710.04247 [math.NT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords binary square, lagranges theorem, natural number, finite automata, decision procedure Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset