# Category:Articles containing proofs

From HandWiki

Here is a list of articles in the category **Articles containing proofs** of the Computing portal that unifies foundations of mathematics and computations using computers.
Template:Wikipedia category
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 433 total.

(previous page) (next page)### 0

### A

- Abel's identity
- Abel's test
- Abel–Ruffini theorem
- Activity selection problem
- Algebraic geometry code
- Philosophy:Analogy of the divided line
- Angle bisector theorem
- Angle trisection
- Apollonius's theorem
- Area of a circle
- Area theorem (conformal mapping)
- Arithmetic progression
- Arithmetic–geometric mean
- Art gallery problem
- Arzelà–Ascoli theorem

### B

- Back-and-forth method
- Baire category theorem
- Banach fixed-point theorem
- Banach–Alaoglu theorem
- Basel problem
- Basis (linear algebra)
- Basu's theorem
- Bauer–Fike theorem
- Beatty sequence
- Beck's theorem (geometry)
- Bernstein polynomial
- Bertrand's ballot theorem
- Bessel's correction
- Bézout's identity
- Bhaskara's lemma
- BIBO stability
- Bijective proof
- Binet–Cauchy identity
- Binomial theorem
- Biquaternion
- Physics:Bohr–van Leeuwen theorem
- Physics:Bohr–Van Leeuwen theorem
- Borel–Carathéodory theorem
- Bourbaki–Witt theorem
- Brahmagupta theorem
- Bretschneider's formula
- Buckingham π theorem
- Butterfly theorem

### C

- Candido's identity
- Cantor's intersection theorem
- Carathéodory's theorem (convex hull)
- Casey's theorem
- Casorati–Weierstrass theorem
- Cassini and Catalan identities
- Catalan number
- Cauchy product
- Cauchy's theorem (group theory)
- Cauchy–Schwarz inequality
- 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
- Choi's theorem on completely positive maps
- Cipolla's algorithm
- Cissoid of Diocles
- Classical orthogonal polynomials
- Commutator subgroup
- Compact operator on Hilbert space
- Completing the square
- Complex conjugate root theorem
- Continuous mapping theorem
- Convolution theorem
- Cook–Levin theorem
- Coupon collector's problem
- Cramér–Rao bound
- Crossing number inequality
- Crystallographic restriction theorem
- Curtis–Hedlund–Lyndon theorem

### 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
- Differentiation of trigonometric functions
- Differentiation rules
- Dilworth's theorem
- Dimension theorem for vector spaces
- Dini's theorem
- Dirichlet kernel
- Discontinuities of monotone functions
- Distribution (mathematics)
- Divisibility rule
- Euclidean division
- Dobiński's formula
- Dominated convergence theorem
- Doob decomposition theorem
- Dot product
- Double counting (proof technique)

### E

- Egorov's theorem
- Eisenstein's criterion
- Elementary symmetric polynomial
- Erdős–Anning theorem
- Erdős–Ko–Rado theorem
- Erdős–Szekeres theorem
- Euclid's lemma
- Euclid's theorem
- Euclid–Euler 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
- Expected value
- 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
- 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)
- Froda's theorem
- 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
- Gauss's lemma (number theory)
- Gauss's lemma (Riemannian geometry)
- Gauss–Lucas theorem
- 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
- Goppa code
- 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
- Inequality of arithmetic and geometric means
- Infinite monkey theorem
- Infinite-dimensional Lebesgue measure
- Inscribed angle
- Integral test for convergence
- Integration by substitution