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 November 22, 2020 at 08:28:18. See the history of this page for a list of all contributions to it.