#
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

## Related pages

Last revised on June 28, 2019 at 22:54:35.
See the history of this page for a list of all contributions to it.