SAL Home MATH Computer Algebra Systems

[an error occurred while processing this directive]

The major purpose of a Computer Algebra System (CAS) is to manipulate a formula symbolically using the computer. For example, expanding, factorizing, root finding, or simplifying an algebraic polynomial are some of the common uses of CAS. However, many systems listed here have gone far beyond that and also offer other functionalities like numerical calculation, graphics, and simulations. They are included in this section because their very original, and still their most distinguishable capability is performing computer algebra.
Search SAL:
Computer Algebra Systems   ([CM] Commercial, [SR] Shareware, [GPL] GPL)

Axiom [CM] -- a computer algebra system with powerful symbolic solver.
bernina -- interactive program with interface to a computer algebra library.
Computer Algebra Kit -- collection of small programs for computer algebra.
CASA [GPL] -- computer algebra software for constructive algebraic geometry in Maple.
CoCoA -- a special-purpose system for doing Computations in Commutative Algebra.
DrMath [SR] -- online symbolic math and computer algebra system.
FELIX -- computations in and with algebraic structures and substructures.
FORM -- symbolic manipulation for large mathematical problems.
GAMS [CM] -- a high-level modeling system for mathematical programming problems.
GAP -- computational discrete algebra emphasized on group theory.
GiNaC [GPL] -- open framework for symbolic computation within C++.
NEW GRG -- a computer algebra program for differential geometry, gravitation and field theory.
GRTensorII -- computer algebra package for differential geometry.
HartMath [GPL] -- a computer algebra program written in Java.
Kalamaris [GPL] -- mathematical package similar to Mathematica.
Interpreter for symbolic manipulation -- a simple computer algebra system in C++ or Java.
JACAL [GPL] -- symbolic simplification and manipulation of equations.
lundin.SymbolicMath -- Java class library for symbolic differentiation and evaluation.
Macaulay 2 -- algebraic geometry and commutative algebra.
Macsyma [CM] -- a powerful and general purpose mathematical tools.
MAGMA -- a system for algebra, number theory, geometry and combinatorics.
Maple [CM] -- numerical computation, symbolic algebra, functions, graphics, programming.
MAS -- experimental computer algebra system.
Mathematica [CM] -- numerical computation, symbolic algebra, functions, graphics, programming.
Mathomatic -- artificially intelligent algebraic manipualtor program.
MAXIMA [GPL] -- computer algebra system for symbolic and numerical computations.

Symaxx -- a frontend for Maxima computer algebra system.
Mock-Mma -- simple mock-up of Mathematica in Common Lisp.
MuPAD -- symbolic and numeric computation, parallel programming and visualization.
Punimax [CM] -- computer algebra system for symbolic and numerical computations.
Reduce [CM] -- general algebraic computations.
Redten -- symbolic algebra package for tensor objects.
Ricci -- symbolic tensor computations for differential geometry.
Risa/Asir -- experimental computer algebra system with programming libraries.
SACLIB -- library of C programs for computer algebra.
SAML [GPL] -- a simple algebraic math library.
SimLab -- CLISP code for computer algebra substrate and triangulations of 2D areas.
Singular [GPL] -- a computer algebra system for computing information about singularities.
SISYPHOS -- computing in modular group algebras of p-groups.
Software from Symbolic Computation Group -- for symbolic computation in physics.
text_deriv -- a package designed to do simple symbolic derivatives.
Yacas -- a small and highly flexible computer algebra language.

Also Check Out:
Algae[GPL] -- a high-level interpreted language for numerical analysis.
AUTOLEV [CM] -- a symbol manipulation program for analyzing the dynamics of mechanical systems.
CAM C++ Class Libraries -- graphics, matrix/vector and symbolic function classes.
FOAM [GPL] -- computer algebra program for high energy physics.
GNU Calc [GPL] -- an advanced calculator that runs as part of the GNU Emacs environment.
NEW meditor [GPL] -- a text editor with some symbolic computation capabilities.
Pari/GP -- formal computations on recursive types at high speed (CA system in number theory).
SHEEP -- a computer algebra system designed primarily for general relativity.
SIMATH -- computer algebra system for number theory.
Simple Lisp -- a simple lisp interpreter with symbolic math library for tensors.
TMath -- a Tcl interface to Matlab and Mathematica.

Other Useful Links

Computer Algebra Information Network (CAIN)

Symbolic Mathematical Computation Information Center

Misc Symbolic Software Information from UC Berkeley

  Array-Oriented & Linear Algebra Systems
  SAL Home   |   Mathematics

Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.