homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
What is called Gaussian elimination is an algorithm for solving systems of linear equations. It proceeds by encoding the system as a suitable matrix and then applying elementary row operations to bring it into upper triangular form.
Last revised on January 27, 2019 at 04:47:31. See the history of this page for a list of all contributions to it.