OurBigBook
About
$
Donate
Sign in
Sign up
Formalization of Fermat's last theorem
Ciro Santilli
(
@cirosantilli,
40
)
...
Function by signature
Numeric function
Polynomial
Diophantine equation
Pythagorean triple
Fermat's last theorem
2026-01-30
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Tags:
Formalization of X
github.com/ImperialCollegeLondon/FLT
Ancestors
(11)
Fermat's last theorem
Pythagorean triple
Diophantine equation
Polynomial
Numeric function
Function by signature
Function (mathematics)
Formalization of mathematics
Area of mathematics
Mathematics
Home
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version