#
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

## Related pages

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