# Category:Mathematical theorems

Computing portal |

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

## Subcategories

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

### *

### A

### D

### F

### G

### M

### N

### P

### S

### T

## Pages in category "Mathematical theorems"

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

### A

- Additive combinatorics
*(computing)* - Approximate max-flow min-cut theorem
*(computing)*

### B

- Bauer maximum principle
*(computing)* - Beck–Fiala theorem
*(computing)* - Brun-Titchmarsh theorem
*(computing)* - Budan's theorem
*(computing)*

### C

- Carnot's theorem (conics)
*(computing)* - Carnot's theorem (perpendiculars)
*(computing)* - Cartan pair
*(computing)* - Chasles' theorem (kinematics)
*(computing)* - Classification theorem
*(computing)* - Comparison theorem
*(computing)*

### D

- Darmois–Skitovich theorem
*(computing)*

### E

- Existence theorem
*(computing)*

### F

- Fraïssé's theorem
*(computing)* - Fueter–Pólya theorem
*(computing)* - Full employment theorem
*(computing)*

### G

- Grey box model
*(computing)*

### J

- Jouanolou's trick
*(computing)*

### K

- Kawasaki's theorem
*(computing)* - Kostant's convexity theorem
*(computing)*

### M

- Maekawa's theorem
*(computing)* - Maximum theorem
*(computing)* - Minimax theorem
*(computing)* - Multiplication theorem
*(computing)*

### N

- No free lunch theorem
*(computing)*

### O

- Ohsawa–Takegoshi theorem
*(computing)* - Omega-categorical theory
*(computing)*

### P

- Petersen–Morley theorem
*(computing)* - Pósa's theorem
*(computing)*

### R

- Representation theorem
*(computing)*

### S

- Shell theorem
*(physics)* - Sion's minimax theorem
*(computing)* - Solovay–Kitaev theorem
*(computing)* - Stochastic portfolio theory
*(computing)*

### T

- Toy theorem
*(computing)* - Trillium theorem
*(computing)* - Trombi–Varadarajan theorem
*(computing)*

### U

- Universal chord theorem
*(computing)*

### V

- Vincent's theorem
*(computing)*

### Z

- Zermelo's theorem (game theory)
*(software)*