nLab list of mathematics software

Mathematics software

Mathematics software

Here is a very incomplete list of software available for mathematics, especially the sort of mathematics that nLabbers seem to be interested in.


Proof assistants

Logical frameworks

Quantum computation

Computer algebra systems


Computational Group Theory

Computational Homological Algebra (CHA)

Computational Algebraic Topology

Computational Higher-dimensional Discrete Algebra

Category theory

Globular n-categories

Monoidal categories

Programming Environments

category: software

Last revised on October 30, 2022 at 13:52:53. See the history of this page for a list of all contributions to it.