  |
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. |
| |
SINGULAR - http://www.singular.uni-kl.de/
Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory. |
| |
LAPACK -- Linear Algebra PACKage - http://netlib2.cs.utk.edu/lapack/
written in Fortran77; provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems. |
| |
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. |
| |
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). |
| |
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. |
| |
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. |
| |
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.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. |
| |
Comparison of Polynomial-Oriented Computer Algebra Systems - http://www.fordham.edu/lewis/cacomp.html
By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference. |
| |
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. |
| |
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://felix.hgb-leipzig.de/ - http://felix.hgb-leipzig.de/
Computer algebra system for computation in commutative and non-commutative rings and modules. Win32, Unix. |
| |
Macaulay - http://www.math.columbia.edu/~bayer/Macaulay/index.html
Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra. At its core is a carefully tuned implementation of Grobner basis methods for manipulating systems of polynomial equations. |
| |
FRISCO - A Framework for Integrated Symbolic/Numeric Computation - http://www.nag.co.uk/projects/FRISCO.html
The FRISCO project aims to develop highly efficient, versatile polynomial solvers for industrial users. |
| |
Math Symbolic Library - http://www.cdrnet.net/projects/nmath/
Evaluate, calculate, simplify and derive symbolic scalar, complex or vector expression. [OpenSource] |
| |
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. |
| |
Galois Field Arithmetic Library - http://www.partow.net/projects/galois/
A simple opensource library in C++ for arithmetic between elements and polynomials over finite fields. |
| |
Algebra Helper - http://www.algebra-answer.com/
Helps students with equations and inequalities, simplifying expression, graphing and complex numbers. Includes problem solving exercises. |
| |
Algebra Cheat - http://www.bacsoftware.co.uk/algebra/
Program solves variable equations and gives explanations of steps used. |
| |
Combinatorial Representation Theory (CREP) - http://www.mathematik.uni-bielefeld.de/~sek/crep.html
CREP is designed to deal with categories whose morphism spaces are finite-dimensional over a field k. The main example of a category with this property is the category of finite-dimensional representations of an associative unital k-algebra. |
 |
http://groups.yahoo.com/group/finitas/ - http://groups.yahoo.com/group/finitas/
Discussion group for this package for the construction and analysis of finite algebraic structures such as loops, quasigroups, and groups. |