Differences between revisions 14 and 15
Revision 14 as of 2007-10-04 13:35:38
Size: 3207
Editor: FabioTonti
Comment: added SymPy
Revision 15 as of 2007-10-04 13:38:23
Size: 3124
Editor: FabioTonti
Comment:
Deletions are marked like this. Additions are marked like this.
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 || 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 ||
Line 20: Line 15:
|| 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 ||
|| SymPy || BSD || http://code.google.com/p/sympy/ ||
|| Yacas   || GPL     || http://yacas.sourceforge.net ||
|| 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 ||
|| !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 34: Line 30:
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]].

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.
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.

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

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

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

GTYBALT

GPL

http://wwwthep.physik.uni-mainz.de/~stefanw/gtybalt/

JScience

BSD

http://www.jscience.org/

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

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.

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.

  • ["Maxima as an OSCAS"]
  • ["Axiom as an OSCAS"]

OSCAS (last edited 2022-05-21 09:32:22 by mmezzarobba)