Mathematical software

From Wikipedia, the free encyclopedia
See also: Gödel's incompleteness theorems and time complexity

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

Evolution of mathematical software[]

Numerical analysis and symbolic computation had been in most important place of the subject, but other kind of them is also growing now. A useful mathematical knowledge of such as algorism which exist before the invention of electronic computer, helped to mathematical software developing. On the other hand, by the growth of computing power (such as seeing on Moore's law), the new treatment (for example, a new kind of technique such as data assimilation which combined numerical analysis and statistics) needing conversely the progress of the mathematical science or applied mathematics.
The progress of mathematical information presentation such as TeX or MathML[2] will demand to evolution form formula manipulation language to true mathematics manipulation language (notwithstanding the problem that whether mathematical theory is inconsistent or not). And popularization of general purpose mathematical software, special purpose mathematical software[3] so called one purpose software which used special subject will alive with adapting for environment progress at normalization of platform. So the diversity of mathematical software will be kept.

Software calculator[]

Main article: Software calculator

A software calculator allows the user to perform simple mathematical operations, like addition, multiplication, exponentiation and trigonometry. Data input is typically manual, and the output is a text label.

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.

Statistics[]

Main article: List of statistical packages

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

Theorem provers and proof assistants[]

Main articles: List of theorem provers and List of proof assistants

Optimization software[]

Main article: List of optimization software

Geometry[]

Main articles: List of interactive geometry software and 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

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.

Websites[]

A growing number of mathematical software is available in web browsers, without the need to download or install any code.[5]

Programming libraries[]

See also: List of numerical libraries, Comparison of linear algebra libraries, List of automated theorem provers, and List of constraint programming libraries

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

  • GMP, the GNU Multi-Precision Library for extremely fast arbitrary precision arithmetic.
  • Class Library for Numbers, a high-level C++ library for arbitrary precision arithmetic.
  • AMD Core Math Library, a software development library released by AMD
  • Boost.Math

References[]

  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. ^ Both MathML and TeX may be only simple a kind of computer language which enable also to present the mathematical formula. However they also may be the mathematical software if the term of software interpreted as whole technology on how to use computer, at most wide sense.
  3. ^ Included your written script code on the general purpose mathematical software.
  4. ^ Musimathics website, freeware download
  5. ^ Internet Accessible Mathematical Computation, Institute for Computational Mathematics, Kent State University, retrieved 2015-02-15.

External links[]

  • swMATH Database on mathematical software
Retrieved from ""