|
Size: 3412
Comment:
|
Size: 3358
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| This page will survey open source computer algebra systems (OSCAS's). | This page will survey open source computer algebra systems (OSCAS's). Some of this may appear as columns in [[http://www.acm.org/sigsam/bulletin/|CCA]]. |
| Line 3: | Line 3: |
A ''computer algebra system'' (CAS) is a mathematical software package capable of symbolic manipulation. The commercial CAS industry is big business. Few people know more about the CAS industry than {{{Darren McIntyre}}}, VP of Worldwide Sales at Maplesoft. He estimates the worldwide yearly expenditures on computer algebra (buying licenses, employee salaries, and so on) is at least $ 600 million. Clients include not just students and universities, but diverse industries who often find that a CAS is a convenient programming environment to model industrial problems. |
A ''computer algebra system'' (CAS) is a mathematical software package capable of symbolic manipulation. The commercial CAS industry is big business. Few people know more about the CAS industry than {{{Darren McIntyre}}}, VP of Worldwide Sales at Maplesoft. He estimates the worldwide yearly expenditures on computer algebra (buying licenses, employee salaries, and so on) is at least $ 600 million. Clients include not just students and universities, but diverse industries who often find that a CAS is a convenient programming environment to model industrial problems. |
| Line 10: | Line 6: |
|| Axiom || open source || http://wiki.axiom-developer.org || || CADABRA || GPL || http://www.aei.mpg.de/~peekas/cadabra/ || || DoCon || open source || http://www.haskell.org/docon || || GAP || GPL || http://www.gap-system.org || || GIAC || GPL || http://www-fourier.ujf-grenoble.fr/~parisse/giac.html || || GINAC || GPL || http://www.ginac.de || |
|| Axiom || [[http://www.opensource.org/licenses/bsd-license.php|BSD]] || http://axiom-developer.org || || CADABRA || GPL || http://cadabra.phi-sci.com/ || || DoCon || open source || http://www.haskell.org/docon (broken link)|| || FriCAS || [[http://www.opensource.org/licenses/bsd-license.php|BSD]] || http://fricas.sourceforge.net || || GAP || GPL || http://www.gap-system.org || || GIAC || GPL || http://www-fourier.ujf-grenoble.fr/~parisse/giac.html || || GINAC || GPL || http://www.ginac.de || |
| Line 19: | Line 15: |
| || LiDIA || "open source" || http://www.cdc.informatik.tu-darmstadt.de/TI/LiDIA/ || || Macaulay2 || GPL || http://www.math.uiuc.edu/Macaulay2/ || || Magnus || GPL || http://sourceforge.net/projects/magnus/ || || MAS || "open source" || http://alice.fmi.uni-passau.de/mas.html || || Mathomatic || LGPL || http://mathomatic.orgserve.de/math/ || || Maxima || GPL || http://maxima.sourceforge.net || || NTL || GPL || http://www.shoup.net/ntl/ || || Pari || GPL || http://pari.math.u-bordeaux.fr || || SAGE || GPL || http://sage.scipy.org || || Scilab || "open source" || http://www.scilab.org || || Singular || GPL || http://www.singular.uni-kl.de || || Symmetrica || public domain || http://www.mathe2.uni-bayreuth.de/axel/symneu_engl.html || || Yacas || GPL || http://yacas.sourceforge.net || |
|| LiDIA || "open source" || http://www.cdc.informatik.tu-darmstadt.de/TI/LiDIA/ (broken link)|| || Macaulay2 || GPL || http://www.math.uiuc.edu/Macaulay2/ || || Magnus || GPL || http://sourceforge.net/projects/magnus/ || || MAS || "open source" || http://alice.fmi.uni-passau.de/mas.html || || Mathemagix || GPL? || http://www.mathemagix.org/ || || Mathomatic || LGPL || http://mathomatic.orgserve.de/math/ || || Maxima || GPL || http://maxima.sourceforge.net || || NTL || GPL || http://www.shoup.net/ntl/ || || Pari || GPL || http://pari.math.u-bordeaux.fr || || SAGE || GPL || http://www.sagemath.org/ || || Scilab || "open source" || http://www.scilab.org || || Singular || GPL || http://www.singular.uni-kl.de || || Symmetrica || public domain || http://www.mathe2.uni-bayreuth.de/axel/symneu_engl.html || || !SymPy || BSD || http://code.google.com/p/sympy/ || || Yacas || GPL || http://yacas.sourceforge.net || Omitted is ''CAFE'' (Computer Algebra and Functional Equations), a group writing a collection of CAS libraries (see [[http://www-sop.inria.fr/cafe/main-e.html|CAFE]]). They appear to be written in Aldor and Maple by (the late) Manuel Bronstein. I (=David Joyner) cannot determine the license (if any) they are released under. I am also unsure if the "open source" licenses of LiDIA, MAS, and Scilab are compatible with the above-mentioned open source definition. Several of these are under very active development and some of these are essentially dead. Two other sources of information are the Computer algebra handbook [[[#references|GKW]]] and the internet sites [[[#references|CA]]]. |
| Line 33: | Line 32: |
| I have left out CAFE (Computer Algebra and Functional Equations), a group writing a collection of CAS libraries (see [http://www-sop.inria.fr/cafe/main-e.html CAFE]). They appear to be written in Aldor and Maple by (the late) Manuel Bronstein. I cannot determine the license (if any) they are released under. I am also unsure if the "open source" licenses of LiDIA, MAS, and Scilab are compatible with the above-mentioned open source definition. Several of these are under very active development and some of these are essentially dead. Two other sources of information are the Computer algebra handbook [GKW] and the internet sites [CA]. |
In any case, we see from this table that there are a lot of open source computer algebra systems out there. Some of these are special purpose (such as Symmetrica) and others are general purpose (such as Axiom). We shall start by surveying Maxima, a general purpose CAS. |
| Line 46: | Line 34: |
| [[Anchor(references)]] == References == * [CA] [http://en.wikipedia.org/wiki/List_of_computer_algebra_systems] [http://en.wikipedia.org/wiki/Comparison_of_computer_algebra_systems] [http://wiki.axiom-developer.org/RosettaStone] * [GKW] J. Grabmeier, E. Kaltofen, V. Weispfenning, ''Computer algebra handbook'', Springer, 2003. * [Mc] D. McIntyre, private communication, 11-2006. * [Max] Paulo Ney de Souza, Richard J. Fateman, Joel Moses, Cliff Yapp, ''The Maxima Book,'' 19th September 2004. Available online at: [Maxima book http://maxima.sourceforge.net/docs/maximabook/maximabook-19-Sept-2004.pdf] [BI-G] A. Ben-Israel, R. Gilbert, ''Computer-supported calculus,'' Springer-Verlag, 2002. |
* [[Maxima_as_an_OSCAS]] * [[Axiom_as_an_OSCAS]] |
This page will survey open source computer algebra systems (OSCAS's). Some of this may appear as columns in CCA.
A computer algebra system (CAS) is a mathematical software package capable of symbolic manipulation. The commercial CAS industry is big business. Few people know more about the CAS industry than Darren McIntyre, VP of Worldwide Sales at Maplesoft. He estimates the worldwide yearly expenditures on computer algebra (buying licenses, employee salaries, and so on) is at least $ 600 million. Clients include not just students and universities, but diverse industries who often find that a CAS is a convenient programming environment to model industrial problems.
The terrain
Axiom |
||
CADABRA |
GPL |
|
open source |
http://www.haskell.org/docon (broken link) |
|
FriCAS |
||
GAP |
GPL |
|
GIAC |
GPL |
|
GINAC |
GPL |
|
GTYBALT |
GPL |
|
JScience |
BSD |
|
LiDIA |
"open source" |
http://www.cdc.informatik.tu-darmstadt.de/TI/LiDIA/ (broken link) |
Macaulay2 |
GPL |
|
Magnus |
GPL |
|
MAS |
"open source" |
|
Mathemagix |
GPL? |
|
Mathomatic |
LGPL |
|
Maxima |
GPL |
|
NTL |
GPL |
|
Pari |
GPL |
|
SAGE |
GPL |
|
Scilab |
"open source" |
|
Singular |
GPL |
|
Symmetrica |
public domain |
|
SymPy |
BSD |
|
Yacas |
GPL |
Omitted is CAFE (Computer Algebra and Functional Equations), a group writing a collection of CAS libraries (see CAFE). They appear to be written in Aldor and Maple by (the late) Manuel Bronstein. I (=David Joyner) cannot determine the license (if any) they are released under. I am also unsure if the "open source" licenses of LiDIA, MAS, and Scilab are compatible with the above-mentioned open source definition. Several of these are under very active development and some of these are essentially dead. Two other sources of information are the Computer algebra handbook GKW] and the internet sites CA].
In any case, we see from this table that there are a lot of open source computer algebra systems out there. Some of these are special purpose (such as Symmetrica) and others are general purpose (such as Axiom). We shall start by surveying Maxima, a general purpose CAS.