# Category:Theorems in differential geometry

Computing portal |

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

## Subcategories

This category has only the following subcategory.

### R

## Pages in category "Theorems in differential geometry"

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

### A

- Atiyah–Singer index theorem
*(computing)*

### B

- Beez's theorem
*(computing)* - Bertrand–Diguet–Puiseux theorem
*(computing)* - Bochner–Kodaira–Nakano identity
*(computing)* - Bochner–Yano theorem
*(computing)* - Bonnet theorem
*(computing)*

### C

- Calabi conjecture
*(computing)* - Carathéodory–Jacobi–Lie theorem
*(computing)* - Cohn-Vossen's inequality
*(computing)*

### D

- Darboux's theorem
*(computing)* - Delzant's theorem
*(computing)*

### E

- Euler's theorem (differential geometry)
*(computing)*

### F

- Fenchel's theorem
*(computing)* - Four-vertex theorem
*(computing)* - Frobenius theorem (differential topology)
*(computing)* - Fundamental theorem of curves
*(computing)*

### G

- Gage–Hamilton–Grayson theorem
*(computing)* - Gauss–Bonnet theorem
*(computing)* - Chern–Gauss–Bonnet theorem
*(computing)* - Generalized Gauss–Bonnet theorem
*(computing)*

### H

- Hilbert's theorem (differential geometry)
*(computing)* - Hsiang–Lawson's conjecture
*(computing)*

### K

- Kawasaki's Riemann–Roch formula
*(computing)*

### L

- Lee Hwa Chung theorem
*(computing)* - Lie–Palais theorem
*(computing)*

### M

- Meusnier's theorem
*(computing)*

### R

- Riemann–Roch theorem for smooth manifolds
*(computing)*

### S

- Sard's theorem
*(computing)* - Schur's theorem
*(computing)* - Schwarz–Ahlfors–Pick theorem
*(computing)* - Slice theorem (differential geometry)
*(computing)* - Stokes' theorem
*(computing)*

### T

- Tait–Kneser theorem
*(computing)* - Tennis ball theorem
*(computing)* - Theorem of the three geodesics
*(computing)*

### U

- Uniformization theorem
*(computing)*

### V

- Vermeil's theorem
*(computing)*

### W

- Willmore conjecture
*(computing)*