Home > Other > Symbolic

Symbolic

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 non-commutative Euclidean algorithm on linear differential and shift polynomials by fraction-free 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 on-line 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, C-like 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



  Privacy - Trademarks - Feedback - Terms of Use Copyright The MathWorks, Inc.