nLab
list of 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.

General

Category theory

Proof assistants

Logical frameworks

Quantum computation

Computer algebra systems

General

Computational Group Theory

Computational Homological Algebra (CHA)

Computational Algebraic Topology

Computational Higher-dimensional Discrete Algebra

Programming Environments

category: software

Last revised on May 17, 2018 at 03:12:37. See the history of this page for a list of all contributions to it.