Sponsored Links:
GB and FGB (Popularity:  )
http://www-calfor.lip6.fr/~jcf/
Software for solving algebraic equations: GB computes Groebner bases and FGB solves polynomial systems.
|
Macaulay 2 (Popularity: )
http://www.math.uiuc.edu/Macaulay2/
A new software system devoted to supporting research in algebraic geometry and commutative algebra.
|
Computer Algebra and Problem Solving Environments (Popularity: )
http://math.unm.edu/~wester/aca96/Steinberg_abstract.html
Abstract for Stanly Steinberg's article in "Comparative CAS Reviews and Philosophy", suggesting 6 ways in which computer algebra systems could ...
|
Mathscribe (Popularity: )
http://www.mathscribe.com/
Mathscribe is free dynamic graphing and modeling software for use in algebra classes. Lesson plans for linears and quadratics are ...
|
Symmetrica (Popularity: )
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 ...
|
CoCoA (Popularity: )
http://cocoa.dima.unige.it/
A special-purpose system for computations in Commutative Algebra.
|
Fermat (Popularity: )
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 ...
|
Comparison of Polynomial-Oriented Computer Algebra Systems (Popularity: )
http://www.fordham.edu/lewis/cacomp.html
By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference.
|
Algebra Problem Solver (Popularity: )
http://www.cyberedinc.com/
Personal Algebra Tutor - Enter your algebra problems and get instant step-by-step solutions with explanations.
|
GiNaC (Popularity: )
http://www.ginac.de/
An open framework for symbolic computation within the C++ programming language. The name GiNaC is an iterated and recursive abbreviation ...
|
FRISCO - A Framework for Integrated Symbolic/Numeric Computation (Popularity: )
http://www.nag.co.uk/projects/FRISCO.html
The FRISCO project aims to develop highly efficient, versatile polynomial solvers for industrial users.
|
SymbolicNet (Popularity: )
http://www.SymbolicNet.org/
Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, and ...
|
Aldor (Popularity: )
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 ...
|
Online Gröbner Basis Calculations (Popularity: )
http://grobner.nuigalway.ie/
Online computation of reduced ideal bases.
|
KAN (Popularity: )
http://www.math.sci.kobe-u.ac.jp/KAN/
Rings and Computer algebra software, part of OpenXM.
|
LAPACK++: Linear Algebra Package in C++ (Popularity: )
http://math.nist.gov/lapack++/
(v. 1.1a) a software library for numerical linear algebra; however, it does not include all of the capabilities of original ...
|
SINGULAR (Popularity: )
http://www.singular.uni-kl.de/
Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory.
|
Felix (Popularity: )
http://felix.hgb-leipzig.de/
Computer algebra system for computation in commutative and non-commutative rings and modules. Win32, Unix.
|
AXIOM (Popularity: )
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. ...
|
Combinatorial Representation Theory (CREP) (Popularity: )
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 ...
|
