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.

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 June 28, 2019 at 22:54:35. See the history of this page for a list of all contributions to it.