Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Interior H Two Regularity for the Laplacian

#4871
Statement
Description

Comparison Principle

#4870
Statement
Description

De Giorgi Nash Moser Holder Regularity

#4873
Statement
Description

Energy Estimate for Homogeneous Dirichlet Data

#4875
Statement
Description
Statement
Description

Independence and Conditional Probability

#4859
Statement
Description

Discrete Factorisation Criterion

#4862
Statement
Description
Showing 10 of 5217 theorems