KNOWPIA
WELCOME TO KNOWPIA

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]}

A computer algebra system is a type of software set that is used in manipulation of mathematical formulae. The principal objective of a computer algebra system is to systematize monotonous and sometimes problematic algebraic manipulation tasks. The primary difference between a computer algebra system and a traditional calculator is the ability to deal with equations symbolically rather than numerically. The precise uses and capabilities of these systems differ greatly from one system to another, yet their purpose remains the same: manipulation of symbolic equations. Computer algebra system often include facilities for graphing equations and provide a programming language for the users' own procedures.

Axiom is a general-purpose computer algebra system. It has been in development since 1971 by IBM, originally named *scratchpad*. Richard Jenks originally headed it but over the years Barry Trager who then shaped the direction of the scratchpad project took the project. Project scratchpad was eventually sold to a numerical group called Numerical Algorithms Group (NAG) and was renamed Axiom. After a failure to launch as a product, NAG decided to release it as a free software in 2001 with more than 300 man-years worth of research involved. Axiom is licensed under a Modified BSD license.

This free software had an earlier incarnation, Macsyma. Developed by Massachusetts Institute of Technology in the 1960s, it was maintained by William Schelter from 1982 to 2001. In 1998, Schelter obtained the permission to release MAXIMA as an open-source software under the GNU General Public license. Subsequently, he released the source code to the world later that year. Since his passing in 2001, a group of MAXIMA enthusiasts have continued to provide technical support.

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.

A Computer Algebra System designed for the solution of problems in field theory. An unpublished computational program written in pascal called Abra inspired this open-source software. *Abra* was originally designed for physicists to compute problems present in quantum mechanics. Kespers Peeters then decided to write a similar program in C computing language rather in pascal, which he renamed Cadabra. However, Cadabra has been expanded for a wider range of uses, it is no longer restricted to physicists.

CoCoA (COmputations in COmmutative Algebra) is open-source software used for computing multivariate polynomials and initiated in 1987. Originally written in Pascal, CoCoA was later translated into C.

Xcas/Giac is an open-source project developed at the Joseph Fourier University of Grenoble since 2000. Written in C++ language, maintained by Bernard Parisse's et al.and available for Windows, Mac, Linux and many others platforms. It has a compatibility mode with Maple, Derive and MuPAD software and TI-89, TI-92 and Voyage 200 calculators. The system was chosen by Hewlett-Packard as the CAS for their HP Prime calculator, which utilizes the Giac/Xcas 1.1.2 engine under a dual-license scheme.

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, power series, algebraic numbers, and transcendental functions.^{[3]} Originally developed by Henri Cohen et al at Université Bordeaux I, France, it now is GPL software. The gp interactive shell allows GP-language scripting; the gp2c compiler compiles GP scripts into C; and the PARI C library allows C programs to use PARI/GP functions.

Sympy is a computer algebra system written in Python.

Mathics is an open-source GPL3 license version of the Wolfram Language.

Geogebra (Geometry and Algebra) - combines geometric objects like circles and graphs of functions with its algebraic representation e.g. respresenting a circle with the radius . Designed for use in schools and educational settings.

Numerical analysis is an area of mathematics that creates and analyzes algorithms for obtaining numerical approximations to problems involving continuous variables. When an arbitrary function does not have a closed form as its solution, there would not be any analytical tools present to evaluate the desired solutions, hence an approximation method is employed instead.

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.

Octave (aka GNU Octave) is an alternative to MATLAB. Originally conceived in 1988 by John W. Eaton as a companion software for an undergraduate textbook, Eaton later opted to modify it into a more flexible tool. Development begun in 1992 and the alpha version was released in 1993. Subsequently, version 1.0 was released a year after that in 1994. Octave is a high level language with the primary intention in numerical computation.

Inspired by MATLAB, Scilab was initiated in the mid-1980s at the INRIA (French national Institute for computer science and control). François Delebecque and Serge Steer developed it and it was released by INRIA in 1994 as an open-source software. Since 2008, Scilab has been distributed under the CeCILL license, which is GPL compatible. In 2010, Scilab Enterprise was founded to provide even more support to the software.

FreeMat is an alternative to MATLAB.

SciPy is a python programming language library to take advantage of Python's ability to handle large data sets.^{[4]}

Gnuplot in an open-source graphing program and has extensive graphing features, but it also has least squares fitting capabilities for a broad range of user-defined functions in two and three dimensions. http://www.gnuplot.info/

Statistics is the study of how to collate and interpret numerical information from data. It is the science of learning from data and communicating uncertainty. There are two branches in statistics: ‘Descriptive statistics’’ and ‘’ Inferential statistics

Descriptive statistics involves methods of organizing, picturing and summarizing information from data. Inferential statistics involves methods of using information from a sample to draw conclusions about the Population.

R Statistics Software, SOFA Statistics, PSPP and JASP are open source software competitors to SPSS, widely used for statistical analysis of sampled data. PSPP is maintained by the GNU project. SOFA Statistics is addressing beginners with basic features, while GNU-R Statistics Software has a large community that maintains R packages also beyond statistical analysis.

R is both a language and software used for statistical computing and graphing. R was originally developed by Bell Laboratories (Currently known as Lucent Technologies) by John Chambers. Since R is largely written in C language, users can use C or C++ commands to manipulate R-objects directly. Also, R runs on most UNIX platforms. R is currently part of the *Free Software Foundation* GNU project.

Demetra is a program for seasonal adjustments that was developed and published by Eurostat – European Commission under the EUPL license.

Such software were created with the original intent of providing a math platform that can be compared to proprietary software such as *MATLAB* and *MATHEMATICA*. They contain multiple other free software and hence have more features than the rest of the software mentioned.

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 was initiated by William Stein, of Harvard University in 2005 for his personal project in number theory. It was originally known as ‘’HECKE and Manin’’. After a short while it was renamed SAGE, which stands for ‘’Software of Algebra and Geometry Experimentation’’. Sage 0.1 was released in 2005 and almost a year later Sage 1.0 was released. It already consisted of Pari, GAP, Singular and MAXIMA with an interface that rivals that of Mathematica.

- Alt-Ergo
- Automath
- CVC
- E
- GKC
- Gödel machine
- iProver
- IsaPlanner
- KED theorem prover
^{[5]} - leanCoP
^{[6]} - Leo II
- LCF
- Logictools online theorem prover
- LoTREC
^{[7]} - MetaPRL
^{[8]} - Mizar
- NuPRL
- Paradox
- Prover9
- PVS
- Simplify
- SPARK (programming language)
- Twelf
- Z3 Theorem Prover

**^**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".**^**Artosi, Alberto, Paola Cattabriga, and Guido Governatori. "Ked: A deontic theorem prover." Eleventh International Conference on Logic Programming (ICLP’94). 1994.**^**Otten, Jens; Bibel, Wolfgang (2003). "LeanCoP: Lean connection-based theorem proving".*Journal of Symbolic Computation*.**36**(1–2): 139–161. doi:10.1016/S0747-7171(03)00037-3.**^**Del Cerro, Luis Fariñas; Fauthoux, David; Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Massacci, Fabio (2001). "Lotrec: The Generic Tableau Prover for Modal and Description Logics".*Automated Reasoning*. Lecture Notes in Computer Science. Vol. 2083. pp. 453–458. doi:10.1007/3-540-45744-5_38. ISBN 978-3-540-42254-9.**^**Hickey, Jason, et al. "MetaPRL–a modular logical environment." International Conference on Theorem Proving in Higher Order Logics. Springer, Berlin, Heidelberg, 2003.