| System | License | Status | Web Location |
| Aldor | BSD | available | http://www.aldor.org |
| Axiom | open source | pending | http://home.earthlink.net/-
~jgg964/axiom.html |
| CLN | GPL | Rosetta | ftp://ftp.ilog.fr/pub/Users/haible/gnu |
| CoCoA | unknown | Rosetta | http://cocoa.dima.unige.it |
| Derive | commercial | available | http://www.mathware.com |
| DoCon | open source | available | http://www.haskell.org/docon |
| GAP | GPL | Rosetta | http://www.gap-system.org/~gap |
| Giac | GPL | Rosetta | http://www-fourier.ujf-grenoble.fr/-
~parisse/giac_us.html |
| GiNaC | GPL | Rosetta | http://www.ginac.de/Download.html |
| Gmp | GPL | Rosetta | http://www.swox.com/gmp |
| Macsyma | commercial | dead | unavailable |
| Magnus | GPL | Rosetta | http://zebra.sci.ccny.cuny.edu/web |
| Maxima | GPL | Rosetta | http://www.ma.utexas.edu/-
maxima.html |
| Maple | commercial | available | http://www.maplesoft.com |
| Mathcad | commercial | available | http://www.mathcad.com |
| Mathematica | commercial | available | http://www.wolfram.com |
| Mpfr | GPL | Rosetta | http://www.loria.fr/equipes/polka |
| MuPAD | commercial | available | http://www.mupad.de |
| Ntl | GPL | Rosetta | http://shoup.net/ntl |
| Octave | GPL | Rosetta | http://www.octave.org |
| Pari | GPL | Rosetta | http://www.parigp-home.de |
| Reduce | commercial | available | http://www.zib.de/Symbolik/reduce |
| Singular | Singular | Rosetta | http://www.singular.uni-kl.de |
| Sum^it | | pending | http://www-sop.inria.fr/-
cafe/Manuel.Bronstein |
| Yacas | GPL | Rosetta | http://yacas.sourceforge.net |
| |
