Software Software for Math Research Search services swMATH: information service for mathematical software National Institute of Standards: Guide to Available Mathematical Software Wikipedia: open-source software for mathematics Freely available general Computer Algebra Systems Axiom - Open-source Computer Algebra System Maxima - Computer Algebra System SageMath - Open-source Computer Algebra System Proof Assistants Coq: A formal proof management system Isabelle: proof assistant. HOL Light: Theorem Prover Lean Theorem Prover Mizar project Software by Field Algebraic Geometry Macaulay2: for algebraic geometry and commutative algebra Algebraic Topology Analysis of PDEs Applied Mathematics (general) GNU Octave: numerical computation, similar to MATLAB. Scilab: open source alternative to MATLAB Category Theory Classical Analysis and ODEs Combinatorics Classical Analysis and ODEs Combinatorics Commutative Algebra Complex Variables Geometry and Differential Geometry Cinderalla - interactive geometry software GeoGebra: digital tools for geometry Dynamical Systems Functional Analysis General Mathematics General Topology Geometric Topology CompuTop.org Software Archive Computational Geometry Software Collection Topology Software Collection Regina: 3 and 4-manifolds with a focus on triangulations, knots and links, normal surfaces, and angle structures Group Theory GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra Cadabra - computer algebra system for field-theory 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 PARI/GP: falgebraic number theory Numerical Analysis Operator Algebras Optimization and Control Probability Quantum Algebra Representation Theory Rings and Algebras Spectral Theory Statistics Theory R: environment for statistical computing Symplectic Geometry Theoretical Computer Science CS Theory Software List Form for submission to the software list Your Name Email Name of the software package or of hosting site Field of Mathematics Short description (one line) URL Message Send 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.