Explore mathematical proofs interactively

Adding a new proof in the list below

Do not hesitate to contribute by adding a new proof by making a pull request on the github project.

Maths

• \(\sqrt 2\) is irrational

Probability theory

• Weak law of large numbers

Graph Theory

• König's theorem
• Hall's theorem
• Berge's lemma
• Tutte and Berge's formula

Algorithms

• Master's theorem
• Dijkstra's algorithm
• Correctness of Ford-Fulkerson
• Terminaison of the Simplex Algorithm
• 2-approximation of minimum vertex cover
• Christofides's algorithm
• Approximation of Euclidean TSP
• RRT

Complexity theory

• Cook's theorem
• MAX2SAT is NP-complete
• Max-clique and PCP
• Baker-Gill-Solovay theorem
• Karp-Lipton
• \(BPP \subseteq \Sigma_2^p \cap \Pi_2^p\)

Propositional logic

• A not-so-obvious entailment