Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

ML Inequality

#5022
Statement
Description

Residue Theorem for Null-Homologous Curves

#5024
Statement
Description

Integrality of the Winding Number

#5023
Statement
Description

Reparametrisation Invariance of Complex Line Integrals

#5021
Statement
Description

Affine Transformation of Variance

#5017
Statement
Description

Computational Formula for Variance

#5015
Statement
Description

$L^2$ Integrability Implies $L^1$ Integrability

#5020
Statement
Description

Non-Negativity and Degeneracy Criterion for Variance

#5016
Statement
Description

Cauchy-Schwarz Inequality for Covariance

#5018
Statement
Description
Statement
Description
Showing 10 of 4830 theorems