# Category:Articles containing proofs

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:Polluted category
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 409 total.

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

- 0.999...
*(computing)*

### A

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

### B

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

### C

- Cantor's intersection theorem
*(computing)* - Carathéodory's theorem (convex hull)
*(computing)* - Casey's theorem
*(computing)* - Casorati–Weierstrass theorem
*(computing)* - Cassini and Catalan identities
*(computing)* - Catalan number
*(computing)* - Cauchy product
*(computing)* - Cauchy's theorem (group theory)
*(computing)* - Cauchy–Schwarz inequality
*(computing)* - Cayley's formula
*(computing)* - Cayley's theorem
*(computing)* - Cayley–Hamilton theorem
*(computing)* - Central limit theorem
*(computing)* - Ceva's theorem
*(computing)* - Chain rule
*(computing)* - Chain rule for Kolmogorov complexity
*(computing)* - Characterizations of the exponential function
*(computing)* - Chebyshev's inequality
*(computing)* - Chinese remainder theorem
*(computing)* - Choi's theorem on completely positive maps
*(computing)* - Cipolla's algorithm
*(computing)* - Cissoid of Diocles
*(computing)* - Classical orthogonal polynomials
*(computing)* - Commutator subgroup
*(computing)* - Compact operator on Hilbert space
*(computing)* - Completing the square
*(computing)* - Complex conjugate root theorem
*(computing)* - Continuous mapping theorem
*(computing)* - Convolution theorem
*(computing)* - Cook–Levin theorem
*(computing)* - Coupon collector's problem
*(computing)* - Cramér–Rao bound
*(computing)* - Crossing number inequality
*(computing)* - Crystallographic restriction theorem
*(computing)* - Curtis–Hedlund–Lyndon theorem
*(computing)*

### D

- Darboux's theorem (analysis)
*(computing)* - De Moivre's formula
*(computing)* - De Morgan's laws
*(computing)* - Decimal representation
*(computing)* - Delta method
*(computing)* - Derivation of the conjugate gradient method
*(computing)* - Diagonal lemma
*(computing)* - Difference of two squares
*(computing)* - Dilworth's theorem
*(computing)* - Dimension theorem for vector spaces
*(computing)* - Dini's theorem
*(computing)* - Dirichlet kernel
*(computing)* - Divisibility rule
*(computing)* - Euclidean division
*(computing)* - Dobiński's formula
*(computing)* - Dominated convergence theorem
*(computing)* - Doob decomposition theorem
*(computing)* - Dot product
*(computing)* - Double counting (proof technique)
*(computing)*

### E

- Egorov's theorem
*(computing)* - Eisenstein's criterion
*(computing)* - Elementary symmetric polynomial
*(computing)* - Erdős–Anning theorem
*(computing)* - Erdős–Ko–Rado theorem
*(computing)* - Erdős–Szekeres theorem
*(computing)* - Euclid's lemma
*(computing)* - Euclid's theorem
*(computing)* - Euclid–Euler theorem
*(computing)* - Euclidean algorithm
*(computing)* - Euclidean plane isometry
*(computing)* - Euler characteristic
*(computing)* - Euler's criterion
*(computing)* - Euler's formula
*(computing)* - Euler's theorem
*(computing)* - Euler's theorem in geometry
*(computing)* - Euler's totient function
*(computing)* - Euler–Lagrange equation
*(computing)* - Euler–Maclaurin formula
*(computing)* - Expected value
*(computing)* - Exterior angle theorem
*(computing)* - Extreme value theorem
*(computing)*

### F

- Fáry's theorem
*(computing)* - Fatou's lemma
*(computing)* - Fatou–Lebesgue theorem
*(computing)* - Fermat number
*(computing)* - Fermat point
*(computing)* - Fermat's theorem (stationary points)
*(computing)* - Feynman–Kac formula
*(computing)* - Fibonacci number
*(computing)* - Five lemma
*(computing)* - Fixed-point lemma for normal functions
*(computing)* - Fodor's lemma
*(computing)* - Frattini's argument
*(computing)* - Fréchet inequalities
*(computing)* - Freivalds' algorithm
*(computing)* - Frobenius theorem (real division algebras)
*(computing)* - Froda's theorem
*(computing)* - Fubini's theorem
*(computing)* - Fundamental theorem of algebra
*(computing)* - Fundamental theorem of arithmetic
*(computing)* - Fundamental theorem of calculus
*(computing)* - Fundamental theorem of Riemannian geometry
*(computing)*

### G

- Galerkin method
*(computing)* - Gamma matrices
*(physics)* - Gauss's lemma (number theory)
*(computing)* - Gauss's lemma (Riemannian geometry)
*(computing)* - Gauss–Lucas theorem
*(computing)* - Gaussian function
*(computing)* - Gaussian integral
*(computing)* - Generalized pencil-of-function method
*(computing)* - Geodesics in general relativity
*(computing)* - Geometric mean theorem
*(computing)* - Geometric progression
*(computing)* - Geometric series
*(computing)* - Gershgorin circle theorem
*(computing)* - Gibbs' inequality
*(computing)* - Gilbert–Varshamov bound
*(computing)* - Gödel numbering for sequences
*(computing)* - Goldbach–Euler theorem
*(computing)* - Goodstein's theorem
*(computing)* - Goppa code
*(computing)* - Goursat's lemma
*(computing)* - Gradient theorem
*(computing)* - Green's theorem
*(computing)* - Griesmer bound
*(computing)* - Grönwall's inequality
*(computing)*

### H

- Hahn decomposition theorem
*(computing)* - Hales–Jewett theorem
*(computing)* - Hall's marriage theorem
*(computing)* - Ham sandwich theorem
*(computing)* - Hardy–Littlewood inequality
*(computing)* - Heine–Borel theorem
*(computing)* - Heine–Cantor theorem
*(computing)* - Helly's theorem
*(computing)* - Hermite's identity
*(computing)* - Heron's formula
*(computing)* - Heronian triangle
*(computing)* - Hilbert's basis theorem
*(computing)* - Hilbert's theorem (differential geometry)
*(computing)* - Hockey-stick identity
*(computing)* - Hölder's inequality
*(computing)*

### I

- Ideal (order theory)
*(computing)* - Identity theorem
*(computing)* - Immerman–Szelepcsényi theorem
*(computing)* - Implicational propositional calculus
*(computing)* - Incidence (geometry)
*(computing)* - Inclusion–exclusion principle
*(computing)* - Inequality of arithmetic and geometric means
*(computing)* - Infinite monkey theorem
*(computing)* - Infinite-dimensional Lebesgue measure
*(computing)* - Inscribed angle
*(computing)* - Integral test for convergence
*(computing)* - Integration by substitution
*(computing)* - Interesting number paradox
*(computing)* - Intermediate value theorem
*(computing)* - IP (complexity)
*(computing)* - Irrational number
*(computing)*

### J

- Jacobi's formula
*(computing)* - Jacobson density theorem
*(computing)* - Jensen's inequality
*(computing)* - Jordan's lemma
*(computing)*

### K

- Karamata's inequality
*(computing)* - Kelly criterion
*(computing)*