| lexicalization | eng: Article proofs |
| subclass of | (noun) a formal series of statements showing that if one thing is true something else necessarily follows from it
proof |
| has instance | e/Dual of BCH is an independent source |
| has instance | e/Permanent is sharp-P-complete |
| has instance | e/Proof of Fermat's Last Theorem for specific exponents |
| has instance | e/Proof of Stein's example |
| has instance | e/Proof of the Euler product formula for the Riemann zeta function |
| has instance | e/Proof of the law of large numbers |
| has instance | e/Proof of weak Scholz conjecture |
| has instance | e/Proof that 22/7 exceeds π |
| has instance | e/Proof that π is irrational |
| has instance | e/Proofs involving Christoffel symbols |
| has instance | e/Proofs involving ordinary least squares |
| has instance | e/Proofs involving the Laplace–Beltrami operator |
| has instance | e/Proofs involving the Moore–Penrose pseudoinverse |
| has instance | e/Proofs involving the totient function |
| has instance | e/Proofs of Fermat's theorem on sums of two squares |
| has instance | e/Proofs of convergence of random variables |
| has instance | e/Proofs of quadratic reciprocity |
| has instance | e/Proofs of trigonometric identities |
| has instance | e/Proofs related to chi-square distribution |
| has instance | e/Union of two regular languages |