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 By others on same topic  0 Discussions Create my own version
Tags: Formalization of X
github.com/ImperialCollegeLondon/FLT

 Ancestors (11)

  1. Fermat's last theorem
  2. Pythagorean triple
  3. Diophantine equation
  4. Polynomial
  5. Numeric function
  6. Function by signature
  7. Function (mathematics)
  8. Formalization of mathematics
  9. Area of mathematics
  10. Mathematics
  11.  Home

 View article source

 Discussion (0)

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
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook