# Software

## Software for Math Research

### Search services

### Freely available general Computer Algebra Systems

### Commercial general Computer Algebra Systems

### Proof Assistants

### Create Math Videos

### Graph and Visualize

### Software by Field

#### Algebraic Geometry

#### Algebraic Topology

#### Analysis of PDEs

#### Applied Mathematics (general)

#### Category Theory

#### Classical Analysis and ODEs

#### Combinatorics

#### Classical Analysis and ODEs

#### Combinatorics

#### Commutative Algebra

#### Complex Variables

#### Geometry and Differential Geometry

#### Dynamical Systems

#### Functional Analysis

#### General Mathematics

#### General Topology

#### Geometric Topology

#### Group Theory

- Cadabra - computer algebra system for field-theory
- Cayley Graph Generator - (draws (part of) the Caley Graph by generators and relations online)
- GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra
- MAGMA - online algebra calculator
- Quiver mutation (cluster algebras) Java applet
- Singular - commutative and non-commutative algebra, algebraic geometry, and singularity theory.

#### History and Overview

#### Information Theory

#### K-Theory and Homology

#### Logic

#### Mathematical Physics

#### Metric Geometry

#### Number Theory

#### Numerical Analysis

#### Operator Algebras

#### Optimization and Control

#### Probability

#### Quantum Algebra

#### Representation Theory

#### Rings and Algebras

#### Spectral Theory

#### Statistics Theory

#### Symplectic Geometry

#### Theoretical Computer Science

### Form for submission to the software list

Use the above form to submit software for this list. Software should be freely available and useful for mathematical research. Lists of software packages aimed at areas of mathematics are also include on this page.