Category:Articles containing proofs
From HandWiki
Revision as of 09:22, 24 January 2021 by imported>LinXED (over-write)
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 439 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
- Bride's Chair
- 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 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'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
