Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Lagrange's Theorem for Binary Squares - MaRDI portal

Lagrange's Theorem for Binary Squares

From MaRDI portal

Publication:6292439

Jump to:navigation, search

DOI10.4230/LIPIcs.MFCS.2018.18zbMath1510.11168arXiv1710.04247MaRDI QIDQ6292439

Aayush Rajasekaran, P. Madhusudan, Jeffrey O. Shallit, Dirk Nowotka

Publication date: 11 October 2017

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Lagrange's Theorem for Binary Squares

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6292439&oldid=35861454"