OurBigBook Wikipedia Bot
Documentation
Mathematical proofs
OurBigBook Wikipedia Bot
Mathematics
toc
wiki
nosplit
articles:
231
Table of contents
231
1. Article proofs
link
nosplit
Mathematical proofs
8
1.1. Analyticity of holomorphic functions
link
nosplit
Article proofs
1.2. Derivation of the Schwarzschild solution
link
nosplit
Article proofs
1.3. Dual of BCH is an independent source
link
nosplit
Article proofs
1.4. Proofs involving ordinary least squares
link
nosplit
Article proofs
1.5. Proofs of convergence of random variables
link
nosplit
Article proofs
1.6. Proofs of quadratic reciprocity
link
nosplit
Article proofs
1.7. Proofs of trigonometric identities
link
nosplit
Article proofs
1.8. Proofs related to chi-squared distribution
link
nosplit
Article proofs
2. Articles containing proofs
link
nosplit
Mathematical proofs
110
2.1. Geometric series
link
nosplit
Articles containing proofs
3
2.1.1. 1/2 + 1/4 + 1/8 + 1/16 + ⋯
link
nosplit
Geometric series
2.1.2. 1/2 − 1/4 + 1/8 − 1/16 + ⋯
link
nosplit
Geometric series
2.1.3. 1/4 + 1/16 + 1/64 + 1/256 + ⋯
link
nosplit
Geometric series
2.2. Activity selection problem
link
nosplit
Articles containing proofs
2.3. Analogy of the divided line
link
nosplit
Articles containing proofs
2.4. Area of a circle
link
nosplit
Articles containing proofs
2.5. Area theorem (conformal mapping)
link
nosplit
Articles containing proofs
2.6. Art gallery problem
link
nosplit
Articles containing proofs
2.7. Arzelà–Ascoli theorem
link
nosplit
Articles containing proofs
2.8. Banach–Alaoglu theorem
link
nosplit
Articles containing proofs
2.9. Basu's theorem
link
nosplit
Articles containing proofs
2.10. Bessel's correction
link
nosplit
Articles containing proofs
2.11. Borel–Carathéodory theorem
link
nosplit
Articles containing proofs
2.12. Brahmagupta theorem
link
nosplit
Articles containing proofs
2.13. Bretschneider's formula
link
nosplit
Articles containing proofs
2.14. Buckingham π theorem
link
nosplit
Articles containing proofs
2.15. Casorati–Weierstrass theorem
link
nosplit
Articles containing proofs
2.16. Cauchy's theorem (group theory)
link
nosplit
Articles containing proofs
2.17. Chebyshev's inequality
link
nosplit
Articles containing proofs
2.18. Continuous mapping theorem
link
nosplit
Articles containing proofs
2.19. Convolution theorem
link
nosplit
Articles containing proofs
2.20. Cramér–Rao bound
link
nosplit
Articles containing proofs
2.21. Darboux's theorem (analysis)
link
nosplit
Articles containing proofs
2.22. De Moivre's formula
link
nosplit
Articles containing proofs
2.23. Delta method
link
nosplit
Articles containing proofs
2.24. Dini's theorem
link
nosplit
Articles containing proofs
2.25. Discontinuities of monotone functions
link
nosplit
Articles containing proofs
2.26. Divergence of the sum of the reciprocals of the primes
link
nosplit
Articles containing proofs
2.27. Dominated convergence theorem
link
nosplit
Articles containing proofs
2.28. Doob decomposition theorem
link
nosplit
Articles containing proofs
2.29. Egorov's theorem
link
nosplit
Articles containing proofs
2.30. Elias Bassalygo bound
link
nosplit
Articles containing proofs
2.31. Euclid's theorem
link
nosplit
Articles containing proofs
2.32. Euclidean algorithm
link
nosplit
Articles containing proofs
2.33. Euler's theorem in geometry
link
nosplit
Articles containing proofs
2.34. Expected value
link
nosplit
Articles containing proofs
2.35. Extreme value theorem
link
nosplit
Articles containing proofs
2.36. Fatou–Lebesgue theorem
link
nosplit
Articles containing proofs
2.37. Fermat's theorem (stationary points)
link
nosplit
Articles containing proofs
2.38. Fermat point
link
nosplit
Articles containing proofs
2.39. Frattini's argument
link
nosplit
Articles containing proofs
2.40. Frobenius theorem (real division algebras)
link
nosplit
Articles containing proofs
2.41. Fubini's theorem
link
nosplit
Articles containing proofs
2.42. Fundamental theorem of Riemannian geometry
link
nosplit
Articles containing proofs
2.43. Fundamental theorem of calculus
link
nosplit
Articles containing proofs
2.44. Gauss's lemma (Riemannian geometry)
link
nosplit
Articles containing proofs
2.45. Gilbert–Varshamov bound
link
nosplit
Articles containing proofs
2.46. Gordon Pask
link
nosplit
Articles containing proofs
2.47. Goursat's lemma
link
nosplit
Articles containing proofs
2.48. Gradient theorem
link
nosplit
Articles containing proofs
2.49. Green's theorem
link
nosplit
Articles containing proofs
2.50. Griesmer bound
link
nosplit
Articles containing proofs
2.51. Gödel numbering for sequences
link
nosplit
Articles containing proofs
2.52. Hahn decomposition theorem
link
nosplit
Articles containing proofs
2.53. Hardy–Littlewood inequality
link
nosplit
Articles containing proofs
2.54. Heron's formula
link
nosplit
Articles containing proofs
2.55. Heronian triangle
link
nosplit
Articles containing proofs
2.56. Hilbert's theorem (differential geometry)
link
nosplit
Articles containing proofs
2.57. Hölder's inequality
link
nosplit
Articles containing proofs
2.58. IP (complexity)
link
nosplit
Articles containing proofs
2.59. Identity theorem
link
nosplit
Articles containing proofs
2.60. Infinite monkey theorem
link
nosplit
Articles containing proofs
2.61. Integration by substitution
link
nosplit
Articles containing proofs
2.62. Intermediate value theorem
link
nosplit
Articles containing proofs
2.63. Karamata's inequality
link
nosplit
Articles containing proofs
2.64. Kolmogorov's inequality
link
nosplit
Articles containing proofs
2.65. Ky Fan inequality
link
nosplit
Articles containing proofs
2.66. L'Hôpital's rule
link
nosplit
Articles containing proofs
2.67. Lagrange's theorem (group theory)
link
nosplit
Articles containing proofs
2.68. Law of tangents
link
nosplit
Articles containing proofs
2.69. Law of total covariance
link
nosplit
Articles containing proofs
2.70. Law of total variance
link
nosplit
Articles containing proofs
2.71. Leibniz formula for π
link
nosplit
Articles containing proofs
2.72. Leibniz integral rule
link
nosplit
Articles containing proofs
2.73. Lenglart's inequality
link
nosplit
Articles containing proofs
2.74. Liouville's theorem (complex analysis)
link
nosplit
Articles containing proofs
2.75. Lucas's theorem
link
nosplit
Articles containing proofs
2.76. Lusin's theorem
link
nosplit
Articles containing proofs
2.77. Markov's inequality
link
nosplit
Articles containing proofs
2.78. Mean value theorem
link
nosplit
Articles containing proofs
2.79. Median (geometry)
link
nosplit
Articles containing proofs
2.80. Neyman–Pearson lemma
link
nosplit
Articles containing proofs
2.81. Non-analytic smooth function
link
nosplit
Articles containing proofs
2.82. One-seventh area triangle
link
nosplit
Articles containing proofs
2.83. Open mapping theorem (complex analysis)
link
nosplit
Articles containing proofs
2.84. Open mapping theorem (functional analysis)
link
nosplit
Articles containing proofs
2.85. Optional stopping theorem
link
nosplit
Articles containing proofs
2.86. Parallelepiped
link
nosplit
Articles containing proofs
2.87. Peaucellier–Lipkin linkage
link
nosplit
Articles containing proofs
2.88. Peetre theorem
link
nosplit
Articles containing proofs
2.89. Plotkin bound
link
nosplit
Articles containing proofs
2.90. Poisson limit theorem
link
nosplit
Articles containing proofs
2.91. Radon–Nikodym theorem
link
nosplit
Articles containing proofs
2.92. Ratio estimator
link
nosplit
Articles containing proofs
2.93. Rearrangement inequality
link
nosplit
Articles containing proofs
2.94. Red–black tree
link
nosplit
Articles containing proofs
2.95. Reynolds transport theorem
link
nosplit
Articles containing proofs
2.96. Rolle's theorem
link
nosplit
Articles containing proofs
2.97. Rouché's theorem
link
nosplit
Articles containing proofs
2.98. Schur's Inequality
link
nosplit
Articles containing proofs
2.99. Singleton bound
link
nosplit
Articles containing proofs
2.100. Steinhaus theorem
link
nosplit
Articles containing proofs
2.101. Stochastic Gronwall inequality
link
nosplit
Articles containing proofs
2.102. Subgroups of cyclic groups
link
nosplit
Articles containing proofs
2.103. Three subgroups lemma
link
nosplit
Articles containing proofs
2.104. Transcendental number
link
nosplit
Articles containing proofs
2.105. Viviani's theorem
link
nosplit
Articles containing proofs
2.106. Yoneda lemma
link
nosplit
Articles containing proofs
2.107. Young's inequality for products
link
nosplit
Articles containing proofs
3. Computer-assisted proofs
link
nosplit
Mathematical proofs
4
3.1. Goldbach's weak conjecture
link
nosplit
Computer-assisted proofs
3.2. Keller's conjecture
link
nosplit
Computer-assisted proofs
3.3. Optimal solutions for the Rubik's Cube
link
nosplit
Computer-assisted proofs
3.4. Sign sequence
link
nosplit
Computer-assisted proofs
4. Mathematical fallacies
link
nosplit
Mathematical proofs
93
4.1. Probability fallacies
link
nosplit
Mathematical fallacies
5
4.1.1. Appeal to probability
link
nosplit
Probability fallacies
4.1.2. Confusion of the inverse
link
nosplit
Probability fallacies
4.1.3. Conjunction fallacy
link
nosplit
Probability fallacies
4.1.4. Law of averages
link
nosplit
Probability fallacies
4.1.5. Misuse of p-values
link
nosplit
Probability fallacies
4.2. Conditional probability
link
nosplit
Mathematical fallacies
85
4.2.1. Bayesian statistics
link
nosplit
Conditional probability
65
4.2.1.1. Bayesian networks
link
nosplit
Bayesian statistics
4.2.1.2. Bayesian statisticians
link
nosplit
Bayesian statistics
4.2.1.3. Conjugate prior distributions
link
nosplit
Bayesian statistics
4.2.1.4. Free Bayesian statistics software
link
nosplit
Bayesian statistics
4.2.1.5. Nonparametric Bayesian statistics
link
nosplit
Bayesian statistics
4.2.1.6. Abductive reasoning
link
nosplit
Bayesian statistics
4.2.1.7. Admissible decision rule
link
nosplit
Bayesian statistics
4.2.1.8. Almost sure hypothesis testing
link
nosplit
Bayesian statistics
4.2.1.9. Approximate Bayesian computation
link
nosplit
Bayesian statistics
4.2.1.10. Base rate
link
nosplit
Bayesian statistics
4.2.1.11. Bayes' theorem
link
nosplit
Bayesian statistics
4.2.1.12. Bayes classifier
link
nosplit
Bayesian statistics
4.2.1.13. Bayes error rate
link
nosplit
Bayesian statistics
4.2.1.14. Bayes linear statistics
link
nosplit
Bayesian statistics
4.2.1.15. Bayesian econometrics
link
nosplit
Bayesian statistics
4.2.1.16. Bayesian history matching
link
nosplit
Bayesian statistics
4.2.1.17. Bayesian interpretation of kernel regularization
link
nosplit
Bayesian statistics
4.2.1.18. Bayesian model reduction
link
nosplit
Bayesian statistics
4.2.1.19. Bayesian programming
link
nosplit
Bayesian statistics
4.2.1.20. Bayesian vector autoregression
link
nosplit
Bayesian statistics
4.2.1.21. Calibrated probability assessment
link
nosplit
Bayesian statistics
4.2.1.22. Coherence (statistics)
link
nosplit
Bayesian statistics
4.2.1.23. Conjugate prior
link
nosplit
Bayesian statistics
4.2.1.24. Continuous Individualized Risk Index
link
nosplit
Bayesian statistics
4.2.1.25. Credence (statistics)
link
nosplit
Bayesian statistics
4.2.1.26. Cromwell's rule
link
nosplit
Bayesian statistics
4.2.1.27. Cross-species transmission
link
nosplit
Bayesian statistics
4.2.1.28. De Finetti's theorem
link
nosplit
Bayesian statistics
4.2.1.29. Dependent Dirichlet process
link
nosplit
Bayesian statistics
4.2.1.30. Deviance information criterion
link
nosplit
Bayesian statistics
4.2.1.31. Ensemble Kalman filter
link
nosplit
Bayesian statistics
4.2.1.32. Expectation propagation
link
nosplit
Bayesian statistics
4.2.1.33. Extrapolation domain analysis
link
nosplit
Bayesian statistics
4.2.1.34. Gaussian process emulator
link
nosplit
Bayesian statistics
4.2.1.35. Generalised likelihood uncertainty estimation
link
nosplit
Bayesian statistics
4.2.1.36. Graphical model
link
nosplit
Bayesian statistics
4.2.1.37. Hyperprior
link
nosplit
Bayesian statistics
4.2.1.38. Indian buffet process
link
nosplit
Bayesian statistics
4.2.1.39. Information field theory
link
nosplit
Bayesian statistics
4.2.1.40. International Society for Bayesian Analysis
link
nosplit
Bayesian statistics
4.2.1.41. Jeffreys prior
link
nosplit
Bayesian statistics
4.2.1.42. Lewandowski-Kurowicka-Joe distribution
link
nosplit
Bayesian statistics
4.2.1.43. Likelihood function
link
nosplit
Bayesian statistics
4.2.1.44. Marginal likelihood
link
nosplit
Bayesian statistics
4.2.1.45. Markov logic network
link
nosplit
Bayesian statistics
4.2.1.46. Naive Bayes classifier
link
nosplit
Bayesian statistics
4.2.1.47. Nested sampling algorithm
link
nosplit
Bayesian statistics
4.2.1.48. Neural network Gaussian process
link
nosplit
Bayesian statistics
4.2.1.49. Posterior predictive distribution
link
nosplit
Bayesian statistics
4.2.1.50. Posterior probability
link
nosplit
Bayesian statistics
4.2.1.51. Precision (statistics)
link
nosplit
Bayesian statistics
4.2.1.52. Prior probability
link
nosplit
Bayesian statistics
4.2.1.53. Probabilistic soft logic
link
nosplit
Bayesian statistics
4.2.1.54. Quantum Bayesianism
link
nosplit
Bayesian statistics
4.2.1.55. Robust Bayesian analysis
link
nosplit
Bayesian statistics
4.2.1.56. Sparse binary polynomial hashing
link
nosplit
Bayesian statistics
4.2.1.57. Speed prior
link
nosplit
Bayesian statistics
4.2.1.58. Spike-and-slab regression
link
nosplit
Bayesian statistics
4.2.1.59. Strong prior
link
nosplit
Bayesian statistics
4.2.1.60. Subjectivism
link
nosplit
Bayesian statistics
4.2.1.61. Variational Bayesian methods
link
nosplit
Bayesian statistics
4.2.1.62. Variational autoencoder
link
nosplit
Bayesian statistics
4.2.1.63. Watanabe–Akaike information criterion
link
nosplit
Bayesian statistics
4.2.1.64. WinBUGS
link
nosplit
Bayesian statistics
4.2.1.65. WorldPop Project
link
nosplit
Bayesian statistics
4.2.2. Maximum likelihood estimation
link
nosplit
Conditional probability
9
4.2.2.1. Informant (statistics)
link
nosplit
Maximum likelihood estimation
4.2.2.2. Method of support
link
nosplit
Maximum likelihood estimation
4.2.2.3. Partial likelihood methods for panel data
link
nosplit
Maximum likelihood estimation
4.2.2.4. Quasi-likelihood
link
nosplit
Maximum likelihood estimation
4.2.2.5. Quasi-maximum likelihood estimate
link
nosplit
Maximum likelihood estimation
4.2.2.6. Rasch model estimation
link
nosplit
Maximum likelihood estimation
4.2.2.7. Restricted maximum likelihood
link
nosplit
Maximum likelihood estimation
4.2.2.8. Scoring algorithm
link
nosplit
Maximum likelihood estimation
4.2.2.9. Testing in binary response index models
link
nosplit
Maximum likelihood estimation
4.2.3. Coherence (philosophical gambling strategy)
link
nosplit
Conditional probability
4.2.4. Conditional expectation
link
nosplit
Conditional probability
4.2.5. Conditional probability distribution
link
nosplit
Conditional probability
4.2.6. Conditional probability table
link
nosplit
Conditional probability
4.2.7. Conditional variance
link
nosplit
Conditional probability
4.2.8. Conditioning (probability)
link
nosplit
Conditional probability
4.2.9. Cue validity
link
nosplit
Conditional probability
4.2.10. Lewis's triviality result
link
nosplit
Conditional probability
4.2.11. Non-commutative conditional expectation
link
nosplit
Conditional probability
4.3. List of incomplete proofs
link
nosplit
Mathematical fallacies
5. Proof techniques
link
nosplit
Mathematical proofs
6. List of long mathematical proofs
link
nosplit
Mathematical proofs
7. List of mathematical proofs
link
nosplit
Mathematical proofs
8. List of probabilistic proofs of non-probabilistic theorems
link
nosplit
Mathematical proofs
9. Minimal counterexample
link
nosplit
Mathematical proofs
10. Of the form
link
nosplit
Mathematical proofs
11. Probabilistically checkable proof
link
nosplit
Mathematical proofs
12. Proof by intimidation
link
nosplit
Mathematical proofs
13. Proof without words
link
nosplit
Mathematical proofs
1
13.1. Pizza theorem
link
nosplit
Proof without words
14. Q.E.D.
link
nosplit
Mathematical proofs
15. Rigour
link
nosplit
Mathematical proofs
Ancestors
Mathematics
OurBigBook Wikipedia Bot
OurBigBook Wikipedia Bot
Documentation
OurBigBook Wikipedia Bot
Documentation