A complete formalization of Fermat's Last Theorem for regular primes in Lean

Riccardo Brasca, Christopher Birkbeck, Eric Rodriguez Boidi, Alex J. Best, Ruben van De Velde, Andrew Yang

Type: Preprint

Publication Date: 2024-10-02

Citations: 0

Locations

arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+	Fermat's Last Theorem for regular primes	2023	Alex J. Best Christopher Birkbeck Riccardo Brasca Eric Rodriguez Boidi
+	The background of Kummer's proof of Fermat's last theorem for regular primes	1975	Harold M. Edwards
+	Algebraic Number Theory and Fermat’s Last Theorem	2018	E. Graham Evans
+ PDF Chat	Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4	2024	Jineon Baek Seewoo Lee
+	An Overview of The Proof of Fermat’s Last Theorem	1997	Glenn Stevens
+	Mechanised theorem proving: exponents 3 and 4 of Fermat's last theorem using Isabelle	2007	Roelof Oosterhuis
+	A Classic Roadblock in Efforts to Prove Fermat's Last Theorem	1958	Glenn James
+	Fermat’s Last Theorem for regular primes	1977	Harold M. Edwards
+	The Proof of Fermat's Last Theorem	1996	R China
+	The proof of Fermat's Last Theorem	1996	汪家訸 Wong Chia-ho
+	The proof of Fermat's last theorem	2000	Mohamad‐Ali Trad
+	A Study of Kummer's Proof of Fermat's Last Theorem for Regular Primes	2013	Manjil P. Saikia
+	A Study of Kummer's Proof of Fermat's Last Theorem for Regular Primes	2013	Manjil P. Saikia
+	A Simple, Sound Deduction of Fermat's Last Theorem	2018	Phil A. Bloom
+	A Plain Proof of Fermat’s Last Theorem	2015	Jae Heon Yun
+	Fermat's last theorem : rigid proof by elementary algebra also dissertation on test for primes and recurring decimals	1916	Michael Cashmore
+	A Concise Proof of Fermat's Last Theorem	2015	Jae Heon Yun
+	Fermat's Last Theorem and Variants	2012	Samir Siksek
+	Fermat’s Last Theorem for Regular Primes (Short Paper)	2023	Alex J. Best Christopher Birkbeck Riccardo Brasca Eric Rodriguez Boidi
+	The Simplest Proof of the Last Fermat Theorem	2018	Victor Sorokine

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors