- GiNaC
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).
- JACAL
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.
- LOWX
http://www.math.auckland.ac.nz/~peter/
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.
- 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.
|
REDUCE
UFO Seek Forum is a growing
community for discussion of UFO-Paranormal, mysterious and unexplained topics.