A proof of Fermat's theorem on sum of two squares with mathcom using gaussian integers.
-
Updated
Jan 30, 2026 - Rocq Prover
#
fermat-theorem
Here are 8 public repositories matching this topic...
Covering computer security: cryptography and network security
hashing cryptography math rsa digital-signature group-theory number-theory public-key-cryptography key-generation message-authentication-code elliptic-curve-cryptography fermat-theorem euler-theorem
-
Updated
Mar 12, 2024
This repository contains a structural decomposition of the proof of Fermat's Last Theorem into its automorphic and non-automorphic components, culminating in a precise open question.
-
Updated
Apr 13, 2026 - TeX
FLT-Coq. Formalization FLT proof.
-
Updated
Dec 20, 2025 - Rocq Prover
A Note on Fermat's Last Theorem
-
Updated
Apr 23, 2026
El proyecto consiste en un encriptador dinámico el cual utiliza el pequeño teorema de Fermat tanto para cifrar como para descifrar un cierto mensaje por medio de cada uno de sus caracteres.
-
Updated
Dec 31, 2020 - Python
Data Analysis and Algorithms (Python)
binary-search-tree insertion-sort tower-of-hanoi knapsack-problem merge-sort permutation-algorithms miller-rabin-algorithm fermat-theorem bfs-dfs
-
Updated
Nov 16, 2023 - Python
Improve this page
Add a description, image, and links to the fermat-theorem topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the fermat-theorem topic, visit your repo's landing page and select "manage topics."