Category:Theorems in number theory
![]() | Computing portal |
Here is a list of articles in the category Theorems in number theory of the Computing portal that unifies foundations of mathematics and computations using computers.
Subcategories
This category has the following 3 subcategories, out of 3 total.
A
T
Pages in category "Theorems in number theory"
The following 111 pages are in this category, out of 111 total.
1
- 15 and 290 theorems (computing)
A
- Alpha-beta conjecture (computing)
- Apéry's theorem (computing)
- Artin–Verdier duality (computing)
- Ax–Kochen theorem (computing)
B
- Baker's theorem (computing)
- Beatty sequence (computing)
- Behrend's theorem (computing)
- Birch's theorem (computing)
- Brauer's theorem on forms (computing)
- Brumer bound (computing)
C
- Carmichael's theorem (computing)
- Catalan's conjecture (computing)
- Chinese remainder theorem (computing)
- Chowla–Mordell theorem (computing)
- Chowla–Selberg formula (computing)
- Congruum (computing)
- Cubic reciprocity (computing)
D
- Davenport–Schmidt theorem (computing)
- Davenport–Erdős theorem (computing)
- Dedekind discriminant theorem (computing)
- Dirichlet's approximation theorem (computing)
- Division theorem (computing)
E
- Eichler–Shimura congruence relation (computing)
- Eisenstein's theorem (computing)
- Equidistribution theorem (computing)
- Erdős–Fuchs theorem (computing)
- Erdős–Graham problem (computing)
- Erdős–Szemerédi theorem (computing)
- Erdős–Tetali theorem (computing)
- Euclid–Euler theorem (computing)
- Euler's theorem (computing)
F
- Faltings' product theorem (computing)
- Faltings's product theorem (computing)
- Faltings's theorem (computing)
- Fermat polygonal number theorem (computing)
- Fermat's Last Theorem (computing)
- Fermat's right triangle theorem (computing)
- Fermat's theorem on sums of two squares (computing)
- Freiman's theorem (computing)
- Fundamental lemma (Langlands program) (computing)
G
- Gelfond–Schneider theorem (computing)
- Glaisher's theorem (computing)
H
- Hasse–Minkowski theorem (computing)
- Heegner's lemma (computing)
- Hilbert's irreducibility theorem (computing)
- Hurwitz's theorem (number theory) (computing)
I
- Ihara's lemma (computing)
J
- Jacobi triple product (computing)
- Jacobi's four-square theorem (computing)
K
- Kaplansky's theorem on quadratic forms (computing)
- Katz–Lang finiteness theorem (computing)
- Krasner's lemma (computing)
- Kronecker's congruence (computing)
- Kummer's congruence (computing)
- Kummer's theorem (computing)
L
- Lagrange's four-square theorem (computing)
- Lambek–Moser theorem (computing)
- Legendre's three-square theorem (computing)
- Lehmer's conjecture (computing)
- Lindemann–Weierstrass theorem (computing)
- Local trace formula (computing)
- Lochs's theorem (computing)
M
- Mahler's compactness theorem (computing)
- Manin–Drinfeld theorem (computing)
- Mann's theorem (computing)
- Marsaglia's theorem (computing)
- Matiyasevich's theorem (computing)
- Mestre bound (computing)
- Meyer's theorem (computing)
- Midy's theorem (computing)
- Mihăilescu's theorem (computing)
- Minkowski's theorem (computing)
- Modularity theorem (computing)
- Multiplicity-one theorem (computing)
N
- Nagell–Lutz theorem (computing)
P
- Pentagonal number theorem (computing)
- Proizvolov's identity (computing)
Q
- Quadratic reciprocity (computing)
- Quartic reciprocity (computing)
- Quintuple product identity (computing)
R
- Ramanujan's congruences (computing)
- Ribet's theorem (computing)
- Romanov's theorem (computing)
- Roth's theorem on arithmetic progressions (computing)
S
- Serre's modularity conjecture (computing)
- Shimura's reciprocity law (computing)
- Siegel's theorem on integral points (computing)
- Siegel–Weil formula (computing)
- Six exponentials theorem (computing)
- Skolem–Mahler–Lech theorem (computing)
- Sophie Germain's theorem (computing)
- Størmer's theorem (computing)
- Subspace theorem (computing)
- Sum of two squares theorem (computing)
- Szemerédi's theorem (computing)
T
- Thomae's formula (computing)
- Three-gap theorem (computing)
- Thue equation (computing)
- Roth's theorem (computing)
- Tijdeman's theorem (computing)
- Torsion conjecture (computing)
- Tunnell's theorem (computing)
- Turán–Kubilius inequality (computing)
V
- Von Staudt–Clausen theorem (computing)
W
- Waldspurger's theorem (computing)
- Weil conjectures (computing)
- Wiener–Ikehara theorem (computing)
Z
- Zeckendorf's theorem (computing)
- Zolotarev's lemma (computing)
- Zsigmondy's theorem (computing)