  |
GAP - Groups, Algorithms and Programming - http://www-history.mcs.st-and.ac.uk/~gap/
A free system for computational discrete algebra. |
| |
http://maxima.sourceforge.net/ - http://maxima.sourceforge.net/
A GPL CAS based on DOE-MACSYMA. A GPL project. |
| |
Macaulay 2 - http://www.math.uiuc.edu/Macaulay2/
A new software system devoted to supporting research in algebraic geometry and commutative algebra. |
| |
SINGULAR - http://www.singular.uni-kl.de/
Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory. |
| |
SymbolicNet - http://www.symbolicnet.org/
Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, and researcher directory. |
| |
http://cocoa.dima.unige.it/ - http://cocoa.dima.unige.it/
A special-purpose system for computations in Commutative Algebra. |
| |
http://www.ginac.de/ - http://www.ginac.de/
An open framework for symbolic computation within the C++ programming language. The name GiNaC is an iterated and recursive abbreviation for "GiNaC is Not a CAS", where CAS stands for Computer Algebra System. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities. It is published under the GNU Public License (GPL). |
| |
Online Gröbner Basis Calculations - http://grobner.nuigalway.ie/grobner/basis.html
Online computation of reduced ideal bases. |
| |
http://www.aldor.org/ - http://www.aldor.org/
Originally an extension to Axiom, now a separate product. Binaries are available free for non-profit use, with documentation, tips, projects and links. |
| |
http://www.bway.net/~lewis/ - http://www.bway.net/~lewis/
Computer algebra system that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations. Free download. Documentation. |
| |
http://smc.vnet.net/Schur.html - http://smc.vnet.net/Schur.html
A package for Lie groups by Brian G. Wybourne. DOS, Win32, Unix. Ordering information. |
| |
Yet Another Computer Algebra System - http://yacas.sourceforge.net/
A general purpose easy program for It is built on top of its own programming language designed for symbolic manipulation of math symbols. Includes information on how to use the software. |
| |
Symmetrica - http://www.mathe2.uni-bayreuth.de/axel/symneu_engl.html
A collection of routines, written in C, for computing in the representation theory of classical and symmetric groups, and related areas. Public domain. |
| |
GB and FGB - http://www-calfor.lip6.fr/~jcf/
Software for solving algebraic equations: GB computes Groebner bases and FGB solves polynomial systems. |
| |
http://www.math.sci.kobe-u.ac.jp/KAN/ - http://www.math.sci.kobe-u.ac.jp/KAN/
Rings and Computer algebra software, part of OpenXM. |
| |
http://felix.hgb-leipzig.de/ - http://felix.hgb-leipzig.de/
Computer algebra system for computation in commutative and non-commutative rings and modules. Win32, Unix. |
| |
http://www.numbertheory.org/cmat/krm_cmat.html - http://www.numbertheory.org/cmat/krm_cmat.html
A matrix calculator program, written in C. Calculations can be performed on matrices with complex rational coefficients using exact arithmetic routines, as well as on matrices with elements mod p. |
| |
Axiom Computer Algebra System - http://savannah.nongnu.org/projects/axiom
Savannah Free Software project for revival of Axiom as open source. |
| |
http://fchabaud.free.fr/English/ZEN/ - http://fchabaud.free.fr/English/ZEN/
A toolbox for computation in finite rings, by Florent Chabaud and Reynald Lercier. ANSI-C source, free download, GPL. |
| |
http://www.nag.co.uk/symbolic_software.asp - http://www.nag.co.uk/symbolic_software.asp
Symbolic solver complete with a high-level interactive language, user extensible library and visualisation tool for the manipulation of graphical output. For Unix and Windows. No longer produced: support ceases at the end of 2001. |
| |
http://www-fourier.ujf-grenoble.fr/~parisse/english.html - http://www-fourier.ujf-grenoble.fr/~parisse/english.html
Is A Computer algebra system. A semi-classical CAS by Bernard Parisse, available for Windows, Linux. |
| |
http://swissnet.ai.mit.edu/~jaffer/JACAL.html - http://swissnet.ai.mit.edu/~jaffer/JACAL.html
An interactive symbolic mathematics program. JACAL can manipulate and simplify equations, scalars, vectors, and matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals, and algebraic differential, and holonomic functions. Linux RPM distribution. |
| |
Math Forum - Algebra Software - http://mathforum.org/algebra/alg.software.html
Algebra software resources compiled by The Math Forum. |
| |
Math Symbolic Library - http://www.cdrnet.net/projects/nmath/
Evaluate, calculate, simplify and derive symbolic scalar, complex or vector expression. [OpenSource] |
| |
Algebra Word Problem Tutor:Miss Lindquist - http://www.cs.cmu.edu/~neil/
The world's first web-delivered self-improving intelligent tutoring system able to tutor students in writing expressions for algebra word problems. |