linear algebra | Bourbaki 2.0 | Observable

Filter

Sort

Thumbnail

Thumbnail

Thumbnail

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

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.

11

2

4

Thumbnail

Spectral Theorem

Oct 25, 2022

8