# Category:Geometric inequalities

Computing portal |

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

## Pages in category "Geometric inequalities"

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

### B

- Barrow's inequality
*(computing)* - Berger's inequality for Einstein manifolds
*(computing)* - Berger–Kazdan comparison theorem
*(computing)* - Bishop–Gromov inequality
*(computing)* - Bonnesen's inequality
*(computing)* - Borell–Brascamp–Lieb inequality
*(computing)* - Brascamp–Lieb inequality
*(computing)* - Brunn–Minkowski theorem
*(computing)* - Busemann's theorem
*(computing)*

### E

- Erdős–Mordell inequality
*(computing)* - Euler's theorem in geometry
*(computing)*

### G

- Gaussian correlation inequality
*(computing)* - Gromov's inequality for complex projective space
*(computing)* - Gromov's systolic inequality for essential manifolds
*(computing)*

### H

- Hadwiger–Finsler inequality
*(computing)* - Hitchin–Thorpe inequality
*(computing)*

### I

- Isoperimetric inequality
*(computing)*

### J

- Jung's theorem
*(computing)*

### L

- Loewner's torus inequality
*(computing)* - Loomis–Whitney inequality
*(computing)*

### M

- Mahler volume
*(computing)* - Milman's reverse Brunn–Minkowski inequality
*(computing)* - Minkowski's first inequality for convex bodies
*(computing)* - Myers's theorem
*(computing)*

### O

- Ono's inequality
*(computing)*

### P

- Pedoe's inequality
*(computing)* - Prékopa–Leindler inequality
*(computing)* - Ptolemy's inequality
*(computing)* - Pu's inequality
*(computing)*

### R

- Riemannian Penrose inequality
*(computing)* - Ring lemma
*(computing)*

### S

- Symmetrization methods
*(computing)* - Pólya–Szegő inequality
*(computing)*

### T

- Toponogov's theorem
*(computing)* - List of triangle inequalities
*(computing)* - Triangle inequality
*(computing)*

### W

- Weitzenböck's inequality
*(computing)*