User:Russh/List of open source ATS software=edit
General
[edit]| Creator | Development started | First public release | Latest stable version | Cost (USD) | Open source | License | Notes | |
|---|---|---|---|---|---|---|---|---|
| Algebrator | Neven Jurkovic | 1986 | 1999 | 4.2 (2009) | $58.99 | No | proprietary | Elementary algebra; shows step-by-step solution process |
| Axiom | Tim Daly | 1971 | 2002 | May 2010 | Free | Yes | modified BSD license | Axiom Information Sources Video |
| bergman | Jörgen Backelin | 1972 | 1972 | 0.96 / 1999 | Free | Yes | GPL-style license | Non-commutative and commutative Gröbner bases and more; mainly homogeneous and non-linear; Lisp-based |
| Cadabra | Kasper Peeters | 2001 | 2007 | 1.0 November 2008 | Free | Yes | GPL | tensor algebra, field theory |
| ClassPad Manager | CASIO | 1999 | 2001 | 3.03 / 2008 | $45.45 | No | proprietary | |
| CASSIOPEIA | CASIO-MAPLE | 1997 | 2001 | 5.0/2001 | Discontinued | No | proprietary | Version of Maple 5 for CASSIOPEIA |
| CoCoA | The CoCoA Team | 1987 | 1995 | 4.7.3 / 2007 | Free | Yes | GPL | For polynomial calculations |
| Derive | Soft Warehouse | 1979 | 1988 | 6.1 | Discontinued | No | proprietary | Owned by TI, discontinued 2007 |
| DoCon | Serge D. Mechveliani | 1993 | 1995 | 2.11 | Free | Yes | non-OSI approved license | Haskell library |
| DCAS | Robert Fenichel | ? | 2005 | 1.0 / 2005 | Free | Yes | GPL | |
| Eigenmath | George Weigt | 2004 | 2005 | 137 | Free | Yes | GPL | A version is available for the Nintendo DS[1] |
| Euler Math Toolbox | R. Grothmann | 1987 | 1988 | 9.4 (2010) includes Maxima 5.20.1 | Free | Yes | GPL | Extension of Maxima, symbolic and numeric computation, interval arithmetic |
| Fermat | Robert H. Lewis | 1986 | 1993 | 3.9.9i (2009) | $60 if grant money available, otherwise $0 | No | proprietary | polynomials, matrices |
| Franklin Math | Allen Franklin Jordan | 2008 | 2009 | 0.01 | Free | Yes | GPL | Symbolic and numeric math, plotting, functions, and more. |
| FriCAS | Waldek Hebish | 2007 | July 2007 | 1.0.9 (January 2010) | Free | Yes | modified BSD license | General purpose, full-featured CAS. Forked from Axiom in 2007. |
| GAP | GAP Group | 1986 | 1986 | 4.4.12 / 2008 | Free | Yes | GPL | groups, character theory, discrete mathematics |
| GiNaC | Christian Bauer, Alexander Frink, Richard Kreckel, et al. | 1997 | 1999 | 1.5.8 (2010) | Free | Yes | GPL | C++ library |
| JACAL | Aubrey Jaffer | 1989 | 1991 | 1c1 (2009) | Free | Yes | GPL | Interactive symbolic mathematics program in Scheme |
| Java Algebra System | Heinz Kredel | 2000 | 2005 | 2.0 | Free | Yes | GPL or LGPL | Commutative and non-commutative, Gröbner bases, gcd, Java library |
| LiveMath | Math Monkeys | ? | 1991 | 3.5.9 / 2007 | $149, $45 student (1 year) | No | proprietary | WYSIWYG input and output, interactive solving and graphing (formerly Theorist) |
| Macaulay2 | Daniel Grayson and Michael Stillman | ? | ? | 1.3.1 (2009) | Free | Yes | GPL | algebraic geometry, commutative algebra |
| Macsyma | MIT Project MAC and Symbolics | 1968 | 1978 | 2.4 (1999) | $500 | No | proprietary | Lisp-based; discontinued 1999, continues as the open-source Maxima. |
| Magma | University of Sydney | ~1990 | 1993 | 2.14 | $1,150 | No | proprietary | Algebra, Cryptography, Group Theory, Number Theory |
| Maple | Maplesoft | 1980 | 1984 | 14 (April 2010) | $1,895 (Commercial), from $99 (Student)[2] | No | proprietary | Library source code is viewable |
| MAS | Heinz Kredel, Michael Pesch | 1989 | ? | 1.01 (1998) | Free | ? | unspecified | Modula-2 source code available |
| Mathcad | Parametric Technology Corporation | 1985 | 1985 | 14 / 2007 | $1,195[3] | No | proprietary | integrates live, standard mathematical notation, text and graphs in one worksheet with unit-aware calculations |
| MathEclipse/Symja | Axel Kramer | 2002 | 2002 | 03/2007 | Free | Yes | CPL | Java symbolic computing library (uses JAS and Apache Commons-Math) |
| Mathematica | Wolfram Research | 1986 | 1988 | 7.0.1 / March 2009 | $2,495 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license) [4] $295 (Personal)[5] | No | proprietary | System also includes extensive numeric capabilities, statistics, image processing, number theory, boolean computation and is a development environment. |
| Mathiverse Calculator | Mathiverse | 2009 | 2009 | 0.0.1 (2009) | Free | No | proprietary | Complex number manipulation |
| Mathomatic | George Gesslein II | 1986 | 1987 | 15.1.4 (2010) | Free | Yes | LGPL | Elementary algebra |
| MathXpert | Michael Beeson | 1985 | 1997 | 3.0.4 / 2008 | Algebra Assistant $49.95, Calculus Assistant $89.95[6] | No | proprietary | Step by step solutions, correct graphs, keeps track of assumptions for logical correctness of results. |
| Maxima | MIT Project MAC and Bill Schelter et al. | 1967 | 1998 | 5.21.1 (2010) | Free | Yes | GPL | Mature, full-featured CAS written in Common Lisp |
| meditor | Raphael Jolly | 2000 | 2000 | 2.0_01 | Free | Yes | GPL | Java symbolic computing library and math editor |
| MuMATH | Soft Warehouse | 1970s | 1980 | MuMATH-83 | Discontinued | No | proprietary | |
| MuPAD | SciFace Software | 1989 | 2008 | 5.1 | Discontinued | No | proprietary | The MathWorks company has incorporated MuPAD technology into Symbolic Math Toolbox |
| NCAlgebra and NCGB | Helton, deOliveira,Stankus,Miller | 1990 | 1991 | 4.0 / 2010 | Free | Yes | NCAlgebraBSD | Non-commutative algebra in Mathematica; NCGroebner Bases; block matrices |
| OpenAxiom | Gabriel Dos Reis | 2007 | August 2007 | 1.2.0 August 2008 | Free | Yes | modified BSD license | Forked from Axiom in 2007 |
| PARI/GP | Henri Cohen, Karim Belabas, et al. | 1985 | ? | 2.3.5 (2010) | Free | Yes | GPL | Number theory, arbitrary precision |
| Reduce | Anthony C. Hearn | 1960s | 1968 | April 2009 | Free | Yes | modified BSD license | comprehensive CAS, open-sourced and freed in December 2008 |
| SAGE | William A. Stein | 2005 | 2005 | 4.3 / December 2009 | Free | Yes | GPL | System also includes extensive numeric capabilities, statistics, image processing, number theory and is a development environment using a web-based interface via HTTP or HTTPS. |
| SINGULAR | University of Kaiserslautern | 1984 | 1997 | 3.0.4 | Free | Yes | GPL | polynomials, rings, ideals |
| SMath Studio | 2006 | 0.82 / 2009 | Free | No | WYSIWYG interface and publication-quality printouts | |||
| SpaceTime Mathematics | SpaceTime Mathematics | 2006 | 2009 | 4.0 | $39 | No | proprietary | Computer algebra and calculus, mobile device scientific computing |
| Symbolic Math Toolbox | MathWorks | 1989 | 2008 | 5.1 | $2900 including required Matlab | No | proprietary | Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic. |
| SymbolicC++ | W.-H. Steeb | 1997 | 1997 | 3.29 (2009-01-03) | Free | Yes | GPL | SymbolicC++ uses C++ and object-oriented programming to develop a computer algebra system |
| SymPy | Ondřej Čertík | 2006 | 2007 | 0.6.7 / March 17, 2010 | Free | Yes | modified BSD license | general purpose CAS in pure Python |
| SympyCore | Pearu Peterson | 2008 | 2008 | 0.1 / February 29, 2008 | Free | Yes | modified BSD license | an efficient Python CAS |
| TI-Nspire CAS (Computer Software) | Texas Instruments | 2006 | 2009 | 1.7 | No | proprietary | Successor to Derive. Based on Derive's engine used in TI-89/Voyager 200 and TI-Nspire handheld | |
| TRIP | J. Laskar, M. Gastineau | 1989 | 2002 | 1.0.0 / July 1, 2009 | Free | No | Academic license | celestial mechanics |
| WIRIS | Maths for More | 1997 | 2001 | 2.0 | No | proprietary | Online computer algebra system and interactive geometry software | |
| Xcas | Bernard Parisse | 2004 | 2008 | 0.8.1 / 2008 September 26 | Free | Yes | GPL | Compatible modes for maple, mupad and TI89 syntax. Symbolic spreadsheets, Giac library for use with other programs. ARM ports for some PDAs with Linux or WinCE[7] |
| Yacas | Ayal Pinkus et al. | ? | ? | 1.2.2 / September 27, 2007 | Free | Yes | GPL | |
| Creator | Development started | First public release | Latest stable version | Cost (USD) | Open source | License | Notes |
These computer algebra systems are sometimes combined with "front end" programs that provide a nice user interface, such as the general-purpose GNU TeXmacs.
Functionality
[edit]Below is a summary of significantly developed functionality in each of the systems.
| System | Formula editor | Arbitrary precision | Calculus | Solvers | Graph theory | Number theory | Quantifier elimination | Boolean algebra | Tensors | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Integration | Integral transforms | Equations | Inequalities | Diophantine equations | Differential equations | Recurrence relations | ||||||||
| Axiom | No | Yes | Yes | Yes | Yes | ? | ? | ? | ? | ? | ? | ? | ? | ? |
| Algebrator | Yes | No | No | No | Yes | Yes | No | No | No | No | No | No | No | No |
| Cadabra | Yes | No | No | No | No | No | No | No | No | No | No | No | No | Yes |
| Jacal | No | No | No | No | No | No | No | No | No | No | No | No | No | Yes |
| Magma | No | No | No | No | No | No | No | No | No | No | Yes | No | No | No |
| Maple | Yes | Yes | Yes | Yes | Yes | Yes | No | Yes | Yes | Yes | Yes | No | No | No |
| Mathcad | Yes | No | Yes | No | Yes | No | No | No | No | No | No | No | No | No |
| Math Eclipse | No | Yes | No | No | No | No | No | No | No | No | No | No | No | No |
| Mathematica | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes |
| Mathomatic | No | No | Yes | Yes | Yes | No | No | No | No | No | No | No | No | No |
| Maxima | No | Yes | Yes | Yes | Yes | Yes | No | Yes | No | Yes | Yes | Yes | No | Yes |
| Sage | Yes | Yes | Yes | Yes | Yes | Yes | No | Yes | Yes | Yes | Yes | Yes | Yes | Yes |
| SymPy | No | Yes | Yes | No | Yes | No | No | Yes | Yes | No | Yes | No | Yes | No |
| Yacas | No | Yes | Yes | No | No | No | No | No | No | No | No | No | No | No |
| Xcas | Yes | Yes | Yes | No | Yes | Yes | No | Yes | Yes | No | Yes | No | No | No |
Operating system support
[edit]The operating systems the software can run on natively, without emulation. Some systems must be compiled first using an appropriate compiler for the source language and target platform.
| Name | Windows | Mac OS X | Linux | BSD | Solaris | Other |
|---|---|---|---|---|---|---|
| Algebrator | Yes | Yes | Yes | No | No | ? |
| Axiom | Yes | Yes | Yes | No | No | ? |
| bergman | Yes | ? | Yes | Yes | Yes | ? |
| Cadabra | No | Yes | Yes | Yes | Yes | ? |
| ClassPad Manager | Yes | No | No | No | No | ? |
| CoCoA | Yes | Yes | Yes | Yes | Yes | Tru64 UNIX, HP-UX, IRIX |
| Derive | Yes | No | No | No | No | ? |
| DoCon | ? | ? | Yes | ? | ? | ? |
| DCAS | Yes | ? | ? | ? | ? | ? |
| Eigenmath | Yes | Yes | No | No | No | ? |
| Euler | Yes | No | No | No | No | ? |
| Fermat | Yes | Yes | Yes | No | Yes (SPARC only) | ? |
| Franklin Math | Yes | Yes | Yes | Yes | Yes | Any system that supports Java |
| FriCAS | Yes | Yes | Yes | Yes | Yes | ? |
| GAP | Yes | Yes | Yes | Yes | Yes | ? |
| GiNaC | Yes | No[citation needed] | Yes | Yes | Yes | ? |
| JACAL | Yes | Yes | Yes | Yes | Yes | ? |
| Java Algebra System | Yes | Yes | Yes | Yes | Yes | ? |
| Macaulay2 | Yes | Yes | Yes | Yes | Yes | ? |
| Magma | Yes | Yes | Yes | Yes | Yes | ? |
| Maple | Yes | Yes | Yes | No | Yes | No |
| Mathcad | Yes | No | No | No | No | No |
| MathEclipse | Yes | Yes | Yes | Yes | Yes | ? |
| Mathematica | Yes | Yes | Yes | No | Yes | No |
| Mathomatic | Cygwin | Yes | Yes | Yes | Yes | All POSIX platforms |
| MathXpert | Yes | No | No | No | No | ? |
| Maxima | Yes | Yes | Yes | Yes | Yes | All POSIX platforms with Common Lisp |
| Meditor | Yes | Yes | Yes | Yes | Yes | ? |
| MuMATH | No | No | No | No | No | ? |
| MuPAD | Yes | Yes | Yes | No | No | ? |
| OpenAxiom | Yes | Yes | Yes | Yes | Yes | ? |
| PARI/GP | Yes | Yes | Yes | Yes | Yes | ? |
| Reduce | Yes | Yes | Yes | Yes | Yes | ? |
| SAGE | No | Yes | Yes | No | Yes | ? |
| SINGULAR | Yes | Yes | Yes | Yes | Yes | ? |
| SymbolicC++ | Yes | Yes | Yes | Yes | Yes | ? |
| SymPy | Yes | Yes | Yes | Yes | Yes | Any system that supports Python |
| SympyCore | Yes | Yes | Yes | Yes | Yes | Any system that supports Python |
| TI-Nspire (desktop software) | Yes | Yes | No | No | No | ? |
| WIRIS | Yes | Yes | Yes | Yes | Yes | ? |
| Xcas | Yes | Yes | Yes | Yes | Yes | ? |
| Yacas | Yes | Yes | Yes | Yes | Yes | ? |
| TRIP | Yes | Yes | Yes | Yes | Yes | ? |
| Windows | Mac OS X | Linux | BSD | Solaris | Other |
References
- ^ "SourceForge.net: Eigenmath DS". Retrieved 2008-06-22.
- ^ "Maplesoft Web Store". Retrieved 2008-06-28.
- ^ "Parametrix Technology Corporation Web Store". Retrieved 2008-06-28.
- ^ "Wolfram Worldwide Web Store". Retrieved 2008-11-20.
- ^ Mathematica Home Edition Released Macworld, Feb 2009
- ^ "HelpWithMath". Retrieved 2008-08-25.
- ^ "Xcas ARM". Retrieved 2008-08-27.