List of open-source software for mathematics
This article needs additional citations for verification. (June 2013) |
This is a list of open-source software to be used for high-order mathematical calculations. This software has played an important role in the field of mathematics.[1] Open-source software in mathematics has become pivotal in education because of the high cost of textbooks.[2]
Computer algebra systems
A
Axiom
Axiom is a general-purpose
Cadabra
A
CoCoA
CoCoA (COmputations in COmmutative Algebra) is
GAP
GAP was initiated by RWTH Aachen University in 1986. This was the case until in 1997 when they decided to co-develop GAP further with CIRCA (Centre for Research in Computational Algebra). Unlike MAXIMA and Axiom, GAP is a system for computational discrete algebra with particular emphasis on computational group theory. In March 2005 the GAP Council and the GAP developers have agreed that status and responsibilities of "GAP Headquarters" should be passed to an equal collaboration of a number of "GAP Centres", where there is permanent staff involvement and an element of collective or organizational commitment, while fully recognizing the vital contributions of many individuals outside those centers.
Mathics
Mathics is an open-source GPL3 license version of the Wolfram Language.
Maxima
This
PARI/GP
PARI/GP is a computer algebra system that facilitates number-theory computation. Besides support of factoring, algebraic number theory, and analysis of elliptic curves, it works with mathematical objects like matrices, polynomials,
Sympy
Sympy is a computer algebra system written in Python.
Xcas
Xcas/Giac is an open-source project developed at the
Geometry
Geogebra
Numerical analysis
FreeMat
FreeMat is an alternative to MATLAB.
GNU Scientific Library
The GNU Scientific Library (or GSL) is a software library for numerical computations in applied mathematics and science. The GSL is written in C and wrappers are available for other programming languages. The GSL is part of the GNU Project and is distributed under the GNU General Public License.
Octave
Octave (aka GNU Octave) is an alternative to
Modelica
Modelica is an object-oriented, declarative, multi-domain modeling language for component-oriented modeling of complex systems including algebraic and differential equations. OpenModelica and Jmodelica are some of the opensource implementations of the language.
Scilab
Inspired by
SciPy
SciPy is a python programming language library to take advantage of Python's ability to handle large data sets.[4]
Statistics
Alternatives to SPSS
R
Demetra+
Demetra is a program for
Multipurpose mathematics software
Such
SageMath
SageMath is designed partially as a free alternative to the general-purpose mathematics products Maple and MATLAB. It can be downloaded or used through a web site. SageMath comprises a variety of other free packages, with a common interface and language. SageMath is developed in Python.
SageMath was initiated by
Theorem provers
- Alt-Ergo
- Automath
- CVC
- E
- IsaPlanner
- LCF
- Mizar
- NuPRL
- Paradox
- Prover9
- PVS
- SPARK (programming language)
- Twelf
- Z3 Theorem Prover
Recreational mathematics software
See also
- List of open-source machine learning software
- Comparison of deep-learning software
- Comparison of numerical-analysis software
- List of numerical-analysis software
- List of graphing software
- List of numerical libraries
- List of statistical packages
- Mathematical software
References
- ^ David Joyner; William Stein (November 2007). "Open Source Mathematical Software" (PDF). American Mathematical Society. Retrieved 11 June 2013.
- ^ Russell Herman; Gabriel Lugo (24 May 2008). "Open Source Resources for Teaching and Research in Mathematics" (PDF). University of North Carolina Wilmington. Retrieved 11 June 2013.
- ^ "PARI/GP home page". Archived from the original on 2019-09-29. Retrieved 2016-12-28.
- ^ "Visualizing big data".