Bourbaki 2.0
Visualize the dependency of mathematical theorems and proofs. A blend of the Bourbaki tradition, formal proof system, reverse mathematics, and readable prose.
Public collections
Showing all 2 collections
The Calculus of Differentials, Integrals, Infinite Series, etc. (Newton, Leibniz, Euler), a loose collection of techniques prior to the rigorous foundation: mathematical analysis (Cauchy, Dedekind, Weierstrass)
matrices over the real or complex numbers; (finite-dimensional) vector spaces and linear maps