# Category:Theorems in analysis

Computing portal |

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

## Subcategories

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

### A

### C

### F

### H

### M

### R

## Pages in category "Theorems in analysis"

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

### A

- Agmon's inequality
*(computing)* - Agranovich–Dynin formula
*(computing)* - Ahlfors finiteness theorem
*(computing)* - Ahlfors measure conjecture
*(computing)* - Atkinson–Mingarelli theorem
*(computing)* - ATS theorem
*(computing)*

### B

- Babuška–Lax–Milgram theorem
*(computing)* - Bauer–Fike theorem
*(computing)* - Beer's theorem
*(computing)* - Besicovitch covering theorem
*(computing)* - Beurling–Lax theorem
*(computing)* - Bipolar theorem
*(computing)* - Borel's lemma
*(computing)* - Brezis–Gallouet inequality
*(computing)*

### C

- Carathéodory's existence theorem
*(computing)* - Cartan–Kähler theorem
*(computing)* - Cartan–Kuranishi prolongation theorem
*(computing)* - Cauchy formula for repeated integration
*(computing)* - Cauchy–Kowalevski theorem
*(computing)* - Chebyshev–Markov–Stieltjes inequalities
*(computing)* - Conformal welding
*(computing)* - Conley–Zehnder theorem
*(computing)*

### D

- Danskin's theorem
*(computing)* - Denjoy–Carleman–Ahlfors theorem
*(computing)* - Denjoy–Koksma inequality
*(computing)* - Denjoy–Luzin theorem
*(computing)* - Denjoy–Luzin–Saks theorem
*(computing)* - Denjoy–Young–Saks theorem
*(computing)* - Differentiation of integrals
*(computing)* - Dirichlet conditions
*(computing)*

### E

- Envelope theorem
*(computing)* - Equioscillation theorem
*(computing)* - Euler–Maclaurin formula
*(computing)*

### F

- Faà di Bruno's formula
*(computing)* - Fenchel's duality theorem
*(computing)* - Fenchel–Moreau theorem
*(computing)* - Fraňková–Helly selection theorem
*(computing)* - Fuchs' theorem
*(computing)*

### G

- Gaussian integral
*(computing)* - Glaeser's continuity theorem
*(computing)* - Godunov's theorem
*(computing)* - Goldbach–Euler theorem
*(computing)* - Gradient conjecture
*(computing)*

### H

- Hadamard's lemma
*(computing)* - Hartman–Grobman theorem
*(computing)* - Hausdorff paradox
*(computing)* - Heine–Cantor theorem
*(computing)* - Helly's selection theorem
*(computing)* - Helmholtz decomposition
*(computing)* - Hobby–Rice theorem
*(computing)* - Hölder's theorem
*(computing)* - Holmgren's uniqueness theorem
*(computing)*

### I

- Implicit function
*(computing)* - Infinite-dimensional Lebesgue measure
*(computing)* - Initial value theorem
*(computing)* - Integral representation theorem for classical Wiener space
*(computing)*

### J

- Jensen's inequality
*(computing)*

### K

- Kantorovich inequality
*(computing)* - Kantorovich theorem
*(computing)* - Khintchine inequality
*(computing)* - Kneser's theorem (differential equations)
*(computing)* - Krein's condition
*(computing)*

### L

- Lagrange reversion theorem
*(computing)* - Laplace principle (large deviations theory)
*(computing)* - Lax equivalence theorem
*(computing)* - Lax–Milgram theorem
*(computing)* - Lax–Wendroff theorem
*(computing)* - Lebesgue integrability condition
*(computing)* - Levi–Lechicki theorem
*(computing)*

### M

- Mahler's theorem
*(computing)* - Malgrange preparation theorem
*(computing)* - Malgrange–Ehrenpreis theorem
*(computing)* - Malmquist's theorem
*(computing)* - Markov brothers' inequality
*(computing)* - Mountain pass theorem
*(computing)*

### N

- Narasimhan–Seshadri theorem
*(computing)*

### P

- Peano existence theorem
*(computing)* - Picard–Lindelöf theorem
*(computing)* - Poincaré inequality
*(computing)* - Poisson summation formula
*(computing)* - Pontryagin duality
*(computing)* - Portmanteau theorem
*(computing)* - Prékopa–Leindler inequality
*(computing)*

### R

- Rademacher–Menchov theorem
*(computing)* - Rellich–Kondrachov theorem
*(computing)* - Remez inequality
*(computing)* - Riemann series theorem
*(computing)* - Riemann–Lebesgue lemma
*(computing)*

### S

- Sarason interpolation theorem
*(computing)* - Sard's theorem
*(computing)* - Shift theorem
*(computing)* - Silverman–Toeplitz theorem
*(computing)* - Stahl's theorem
*(computing)* - Stirling's approximation
*(computing)* - Stone–Weierstrass theorem
*(computing)* - Strichartz estimate
*(computing)* - Sturm separation theorem
*(computing)* - Sturm–Picone comparison theorem
*(computing)* - Symmetry of second derivatives
*(computing)* - Szegő limit theorems
*(computing)*

### T

- Tonelli–Hobson test
*(computing)* - Trudinger's theorem
*(computing)*

### U

- Unique homomorphic extension theorem
*(computing)* - Universal approximation theorem
*(computing)*

### W

- Whitney extension theorem
*(computing)* - Wirtinger's inequality for functions
*(computing)*