Applied mathematics stubs Numerical differential equations Theorems in analysis Lax equivalence theorem