- Aldor
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.aldor.org/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - AXIOM
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.nag.co.uk/symbolic_software.asp
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - Fermat
Computer algebra system that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations. Free download. Documentation.
http://www.bway.net/~lewis/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - GiNaC
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.ginac.de/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - JACAL
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://swissnet.ai.mit.edu/~jaffer/JACAL.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - LOWX
Parallel "low-index subgroups algorithm" software by Peter Dobcsányi for finding all subgroups up to given index in a finitely-presented group. Download documentation and binary distribution for Linux/i386 and Sparc/Solaris platforms.
http://www.math.auckland.ac.nz/~peter/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - Macaulay
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.
http://www.math.columbia.edu/~bayer/Macaulay.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - SymbolicNet
Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, and researcher directory.
http://www.SymbolicNet.org/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It |
