linear algebra | Bourbaki 2.0 | 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.

Filter

Sort

Thumbnail

Thumbnail

Thumbnail

11

2

linear algebra | Bourbaki 2.0 | Observablelinear algebra | Bourbaki 2.0 | Observable

linear algebra

matrices over the real or complex numbers; (finite-dimensional) vector spaces and linear maps

Filter

Sort

Thumbnail

Spectral Theorem

Oct 25, 2022

8