MuPAD 

MuPAD is a general purpose computer algebra system for symbolic and numerical computations. Users can view the library code, implement their own routines and data types easily and can also dynamically link C/C++ compiled modules for raw speed and flexibility. Submitted: Jun 09, 1999

CADE: Computer Algebra & Differential Equations 

The FracFree package is a Maple package devoted to performing variants of noncommutative Euclidean algorithm on linear differential and shift polynomials by fractionfree techniques. Submitted: Jul 03, 1999

REDUCE 

REDUCE is an interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers. Its capabilities include: expansion and ordering of polynomials and rational functions;substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution of a variety of algebraic equations; facilities for the output of expressions in a variety of formats; facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety of special functions; Dirac matrix calculations of interest to high energy physicists. Submitted:

Macsyma 

Macsyma Inc. is the originator of the world's first, and still best, artificial intelligence based math engine providing easy to use, powerful math software for symbolic and numeric computing. Our two products are Macsyma(R) math software with a natural language based online help and PDEase(R) Finite Element Software. Submitted:

Singular 

SINGULAR is a Computer Algebra System for polynomial computations with special emphasize on the needs of commutative algebra, algebraic geometry, and singularity theory. Main computational objects: ideals/modules over very general polynomial rings over various ground fields. Large variety of algorithms implemented in kernel (written in C/C++). Intuitive, Clike programming language. Many more algorithms implemented as SINGULAR libraries. Communication links connect SINGULAR with other CAS's like MMA or MuPAD. Extensive documentation: Manual, Tutorial (info, ps, and html). Submitted: Jul 03, 1999

