# Category:Theorems in geometry

Here is a list of articles in the category **Theorems in geometry** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Subcategories

This category has the following 8 subcategories, out of 8 total.

### *

### A

### C

### D

### P

## Pages in category "Theorems in geometry"

The following 46 pages are in this category, out of 46 total.

### 2

- 2π theorem
*(computing)*

### A

- Almgren regularity theorem
*(computing)* - Anderson's theorem
*(computing)*

### B

- Bang's theorem on tetrahedra
*(computing)* - Beckman–Quarles theorem
*(computing)* - Bernstein–Kushnirenko theorem
*(computing)*

### C

- Campbell's theorem (geometry)
*(physics)* - Castelnuovo's contraction theorem
*(computing)* - Castelnuovo–de Franchis theorem
*(computing)* - Chow–Rashevskii theorem
*(computing)* - Collage theorem
*(computing)* - Commandino's theorem
*(computing)*

### D

- De Gua's theorem
*(computing)* - Dévissage
*(computing)* - Dodecahedral conjecture
*(computing)* - Double limit theorem
*(computing)*

### E

- Euler's rotation theorem
*(computing)*

### F

- Fold-and-cut theorem
*(computing)*

### G

- Gromov-Ruh theorem
*(computing)*

### H

- Hyperbolization theorem
*(computing)*

### J

- Jørgensen's inequality
*(computing)* - Jung's theorem
*(computing)*

### L

- Lickorish–Wallace theorem
*(computing)* - Liouville's theorem (conformal mappings)
*(computing)*

### M

- Minkowski problem
*(computing)* - Minkowski–Hlawka theorem
*(computing)* - Mostow rigidity theorem
*(computing)* - Murakami–Yano formula
*(computing)*

### N

- Niven's theorem
*(computing)* - Non-squeezing theorem
*(computing)*

### P

- Pappus's centroid theorem
*(computing)* - Petersen–Morley theorem
*(computing)* - Principal axis theorem
*(computing)*

### R

- Reshetnyak gluing theorem
*(computing)* - Riemannian Penrose inequality
*(computing)*

### S

- Shapley–Folkman lemma
*(computing)* - Skoda–El Mir theorem
*(computing)* - Soddy's hexlet
*(computing)* - Spherical law of cosines
*(computing)*

### T

- Tameness theorem
*(computing)* - Theorem of the cube
*(computing)* - Theorema Egregium
*(computing)* - Thom conjecture
*(computing)* - Triangle inequality
*(computing)*

### U

- Ultraparallel theorem
*(computing)*

### W

- Wendel's theorem
*(computing)*