Formalising the paper "Sums of Three Squares" by N. C. Ankeny in Lean with Aristotle.
-
Updated
Dec 12, 2025 - Lean
#
elementary-number-theory
Here are 5 public repositories matching this topic...
Elementary Number Theory: Primes, Congruences, and Secrets
-
Updated
Feb 2, 2017 - TeX
-
Updated
Nov 19, 2017 - C++
Code for book `Elemetary Number Theory: Primes, Congruences, and Secrets`
-
Updated
Aug 2, 2016 - Python
Any numerical chain that arrives at 1 or 89 will become stuck in an endless loop. EVERY starting number will eventually arrive at 1 or 89. In this program, I tested this statement.
-
Updated
Mar 7, 2024 - Python
Improve this page
Add a description, image, and links to the elementary-number-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the elementary-number-theory topic, visit your repo's landing page and select "manage topics."