Mathematical software is software used to model, analyze or calculate numeric, symbolic or geometric data.[1]

Computer algebra systems

Main article: List of computer algebra systems

Many mathematical suites are computer algebra systems that use symbolic mathematics. They are designed to solve classical algebra equations and problems in human readable notation.


Main article: List of statistical packages

Many tools are available for statistical analysis of data. See also Comparison of statistical packages.

SMT solvers

Main article: List of SMT solvers


Main article: List of interactive geometry software

Main article: List of information graphics software

Numerical analysis

Main article: List of numerical analysis software

TK Solver is a mathematical modeling and problem solving software system based on a declarative, rule-based language, commercialized by Universal Technical Systems, Inc..

The Netlib repository contains various collections of software routines for numerical problems, mostly in Fortran and C. Commercial products implementing many different numerical algorithms include the IMSL, NMath and NAG libraries; a free alternative is the GNU Scientific Library. A different approach is taken by the Numerical Recipes library, where emphasis is placed on clear understanding of algorithms.

Many computer algebra systems (listed above) can also be used for numerical computations.

See also Comparison of numerical analysis software and TK Solver.

Music mathematics software

Main article: List of music software

See also: Music and mathematics

Music mathematics software utilizes mathematics to analyze or synthesize musical symbols and patterns.


Growing number of mathematical software is available in the web browser, without the need to download or install any code.[3][4]

Programming libraries

See also: List of numerical libraries and Comparison of linear algebra libraries

Low-level mathematical libraries intended for use within other programming languages:


  1. ^ See, e.g., the editorial charter of the ACM Transactions on Mathematical Software or the problem taxonomy of the National Institute of Standards and Technology Guide to Available Mathematical Software (both retrieved 2015-02-15).
  2. ^ Musimathics website, freeware download
  3. ^ Internet Accessible Mathematical Computation, Institute for Computational Mathematics, Kent State University, retrieved 2015-02-15.
  4. ^ "Wolfram|Alpha: Computational Knowledge Engine". Retrieved 2016-07-15.
  • iconSoftware portal