# Category:Theorems in Riemannian geometry

Computing portal |

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

## Pages in category "Theorems in Riemannian geometry"

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

### B

- Beltrami's theorem
*(computing)* - Berger–Kazdan comparison theorem
*(computing)*

### C

- Cartan–Hadamard theorem
*(computing)* - Cheng's eigenvalue comparison theorem
*(computing)*

### F

- Fundamental theorem of Riemannian geometry
*(computing)*

### G

- Gauss's lemma (Riemannian geometry)
*(computing)* - Gromov's compactness theorem (geometry)
*(computing)*

### H

- Hopf–Rinow theorem
*(computing)*

### K

- Killing–Hopf theorem
*(computing)*

### M

- Myers's theorem
*(computing)* - Myers–Steenrod theorem
*(computing)*

### N

- Nash embedding theorem
*(computing)*

### P

- Preissman's theorem
*(computing)*

### R

- Rauch comparison theorem
*(computing)*

### S

- Schur's lemma (from Riemannian geometry)
*(computing)* - Schur's lemma (Riemannian geometry)
*(computing)* - Soul theorem
*(computing)* - Sphere theorem
*(computing)* - Splitting theorem
*(computing)* - Synge's theorem
*(computing)*

### T

- Toponogov's theorem
*(computing)*

### W

- Weyl–Schouten theorem
*(computing)*