Fermat's Last Theorem for regular primes

From MaRDI portal

Publication:6436708

Jump to:navigation, search

arXiv2305.08955MaRDI QIDQ6436708

Eric Rodriguez Boidi, Christopher Birkbeck, Riccardo Brasca, Unnamed Author

Publication date: 15 May 2023

Mathematics Subject Classification ID

Logic in computer science (03B70) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Fermat's Last Theorem for regular primes

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