# 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)*