Category:Articles containing proofs
From Infogalactic: the planetary knowledge core
__EXPECTUNUSEDCATEGORY__ Lua error in package.lua at line 80: module 'strict' not found. 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 322 total.
(previous page) (next page)0
A
- Abel's identity
- Abel's test
- Abel–Ruffini theorem
- Activity selection problem
- Analogy of the divided line
- Angle bisector theorem
- Angle trisection
- Apollonius' theorem
- Area of a disk
- Area theorem (conformal mapping)
- Arithmetic progression
- Arithmetic–geometric mean
- Art gallery problem
- Arzelà–Ascoli theorem
B
- Baire category theorem
- Banach fixed-point theorem
- Banach–Alaoglu theorem
- Basel problem
- Basis (linear algebra)
- Basu's theorem
- Bauer–Fike theorem
- Beatty sequence
- Bernstein polynomial
- Bertrand's ballot theorem
- Bézout's identity
- Bhaskara's lemma
- BIBO stability
- Bijective proof
- Binet–Cauchy identity
- Binomial theorem
- Biquaternion
- Borel–Carathéodory theorem
- Bourbaki–Witt theorem
- Brahmagupta theorem
- Buckingham π theorem
- Butterfly theorem
C
- Carathéodory's theorem (convex hull)
- Casorati–Weierstrass theorem
- Cassini and Catalan identities
- Catalan number
- Cauchy product
- Cauchy's theorem (group theory)
- Cauchy–Schwarz inequality
- Cayley's formula
- Cayley's theorem
- Cayley–Hamilton theorem
- Central limit theorem
- Ceva's theorem
- Chain rule
- Chain rule for Kolmogorov complexity
- Characterizations of the exponential function
- Chebyshev's inequality
- Chinese remainder theorem
- Cipolla's algorithm
- Cissoid of Diocles
- Classical orthogonal polynomials
- Commutator subgroup
- Compact operator on Hilbert space
- Completing the square
- Complex conjugate root theorem
- Convolution theorem
- Cook–Levin theorem
- Cramér–Rao bound
- Crossing number (graph theory)
D
- Darboux's theorem (analysis)
- De Moivre's formula
- De Morgan's laws
- Decimal representation
- Delta method
- Derivation of the conjugate gradient method
- Diagonal lemma
- Difference of two squares
- Dilworth's theorem
- Dimension theorem for vector spaces
- Dini's theorem
- Dirichlet kernel
- Divisibility rule
- Euclidean division
- Dobinski's formula
- Dominated convergence theorem
- Dot product
- Double counting (proof technique)
E
- Egorov's theorem
- Elementary symmetric polynomial
- Elias Bassalygo bound
- Erdős–Ko–Rado theorem
- Erdős–Szekeres theorem
- Euclid's lemma
- Euclid's theorem
- Euclidean algorithm
- Euclidean plane isometry
- Euler characteristic
- Euler's criterion
- Euler's formula
- Euler's theorem
- Euler's theorem in geometry
- Euler's totient function
- Euler–Lagrange equation
- Euler–Maclaurin formula
- Exterior angle theorem
- Extreme value theorem
F
- Fáry's theorem
- Fatou's lemma
- Fatou–Lebesgue theorem
- Fermat number
- Fermat point
- Fermat's theorem (stationary points)
- Feynman–Kac formula
- Fibonacci number
- Five lemma
- Fodor's lemma
- Frattini's argument
- Freivalds' algorithm
- Frobenius theorem (real division algebras)
- Fubini's theorem
- Fundamental theorem of algebra
- Fundamental theorem of arithmetic
- Fundamental theorem of calculus
- Fundamental theorem of Riemannian geometry
G
H
I
- Ideal (order theory)
- Identity theorem
- Immerman–Szelepcsényi theorem
- Inclusion–exclusion principle
- Inequality of arithmetic and geometric means
- Infinite monkey theorem
- Infinite-dimensional Lebesgue measure
- Integral test for convergence
- Integration by substitution
- Interesting number paradox
- Intermediate value theorem
- Irrational number
K
L
- 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
- Leibniz formula for π
- Leibniz integral rule
- Levi-Civita symbol
- L'Hôpital's rule
- Lindemann–Weierstrass theorem
- Linear continuum
- Linear independence
- Linear subspace
- Liouville number
- Liouville's formula
- Liouville's theorem (complex analysis)
- List of logarithmic identities
- Locally connected space
- Lubell–Yamamoto–Meshalkin inequality
- Lucas' theorem
