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.