Category:Articles containing proofs
Appearance
![]() | This is a maintenance category, used for maintenance of the Wikipedia project. It is not part of the encyclopedia and contains non-article pages, or groups articles by status rather than subject. Do not include this category in content categories.
This is a hidden category. It is not shown on its member pages, unless the corresponding user preference (Appearance → Show hidden categories) is set. |
This category contains articles which contain claims and their mathematical proofs.
See Category:Mathematical proofs for a list of proof-related categories.
Pages in category "Articles containing proofs"
The following 200 pages are in this category, out of approximately 429 total. This list may not reflect recent changes.
(previous page) (next page)E
- Egorov's theorem
- Eisenstein's criterion
- Elementary symmetric polynomial
- Elias Bassalygo bound
- Erdős–Anning theorem
- Erdős–Ko–Rado theorem
- Erdős–Szekeres theorem
- Euclid–Euler theorem
- Euclid's lemma
- Euclid's theorem
- Euclidean algorithm
- Euclidean plane isometry
- Euler characteristic
- Euler–Lagrange equation
- Euler–Maclaurin formula
- Euler's criterion
- Euler's formula
- Euler's theorem
- Euler's theorem in geometry
- Euler's totient function
- Expected value
- Exterior angle theorem
- Extreme value theorem
F
- Fáry's theorem
- Fatou–Lebesgue theorem
- Fatou's lemma
- Fermat number
- Fermat point
- Fermat's theorem (stationary points)
- Feynman–Kac formula
- Fibonacci sequence
- Five lemma
- Fixed-point lemma for normal functions
- Fodor's lemma
- Frattini's argument
- Fréchet inequalities
- Freivalds' algorithm
- Frobenius theorem (real division algebras)
- Fubini's nightmare
- Fubini's theorem
- Fundamental theorem of algebra
- Fundamental theorem of arithmetic
- Fundamental theorem of calculus
- Fundamental theorem of Riemannian geometry
G
- Galerkin method
- Gamma matrices
- Garfield's proof of the Pythagorean theorem
- Gauss–Lucas theorem
- Gauss's lemma (number theory)
- Gauss's lemma (Riemannian geometry)
- Gaussian function
- Gaussian integral
- General Leibniz rule
- Generalized pencil-of-function method
- Geodesics in general relativity
- Geometric mean theorem
- Geometric progression
- Geometric series
- Gershgorin circle theorem
- Gibbs' inequality
- Gilbert–Varshamov bound
- Gödel numbering for sequences
- Goldbach–Euler theorem
- Goodstein's theorem
- Goursat's lemma
- Gradient theorem
- Green's theorem
- Griesmer bound
- Grönwall's inequality
H
- Hahn decomposition theorem
- Hahn–Banach theorem
- Hales–Jewett theorem
- Hall's marriage theorem
- Ham sandwich theorem
- Hardy–Littlewood inequality
- Heine–Borel theorem
- Heine–Cantor theorem
- Helly's theorem
- Hermite's identity
- Heron's formula
- Heronian triangle
- Hilbert's basis theorem
- Hilbert's theorem (differential geometry)
- Hockey-stick identity
- Hölder's inequality
I
- Ideal (order theory)
- Identity theorem
- Immerman–Szelepcsényi theorem
- Implicational propositional calculus
- Implicit function theorem
- Incidence (geometry)
- Inclusion–exclusion principle
- Infinite monkey theorem
- Infinite-dimensional Lebesgue measure
- Inscribed angle
- Integral test for convergence
- Integration by substitution
- Interesting number paradox
- Intermediate value theorem
- Inverse function rule
- IP (complexity)
- Irrational number
K
L
- Labelled enumeration theorem
- Lagrange polynomial
- Lagrange's four-square theorem
- Lagrange's identity
- Lagrange's theorem (group theory)
- Langley's Adventitious Angles
- Laplace expansion
- Laplace–Runge–Lenz vector
- Law of cosines
- Law of excluded middle
- Law of sines
- Law of tangents
- Law of total covariance
- Law of total variance
- Lazy caterer's sequence
- Least-upper-bound property
- Leibniz formula for determinants
- Leibniz formula for π
- Leibniz integral rule
- Lenglart's inequality
- Levi-Civita symbol
- Lexell's theorem
- L'Hôpital's rule
- Limit comparison test
- Lindemann–Weierstrass theorem
- Linear continuum
- Linear independence
- Linear subspace
- Linearity of differentiation
- Liouville number
- Liouville's formula
- Liouville's theorem (complex analysis)
- List of logarithmic identities
- Locally connected space
- Log sum inequality
- Lubell–Yamamoto–Meshalkin inequality
- Lucas's theorem
- Lusin's theorem
M
- MacMahon's master theorem
- Mahler's inequality
- Markov's inequality
- Mathematical induction
- Mean value theorem
- Median (geometry)
- Menelaus's theorem
- Mersenne prime
- Min-max theorem
- Minkowski inequality
- Minkowski's theorem
- Mirsky's theorem
- Monge's theorem
- Monotone convergence theorem
- Morrie's law
- Mountain climbing problem
- Multi-index notation
- Multinomial theorem
- Multiplication