Filter
None
Sort
Last updated
Observable
Bourbaki 2.0
@neobourbaki
Visualize the dependency of mathematical theorems and proofs. A blend of the Bourbaki tradition, formal proof system, reverse mathematics, and readable prose.
Sign in
linear algebra | Bourbaki 2.0 | Observable
linear algebra | Bourbaki 2.0 | Observable
linear algebra
Public
New
matrices over the real or complex numbers; (finite-dimensional) vector spaces and linear maps
Filter
None
Sort
Published
11
2
Spectral Theorem
Bourbaki 2.0
Oct 25, 2022
8
