Computer algebra system

From TheBestLinks.com

A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. Typically, these systems include

• arbitrary precision (bignum) arithmetic, allowing for instance to evaluate pi to 10,000 digits.
• symbolic manipulation engine, to simplify algebraic expressions, differentiate and integrate functions and solve equations
• graphing facility, to produce graphs of functions, typically in two and three dimensions
• linear algebra subsystem, to allow matrix computations and solving of systems of linear equations
• high level programming language, allowing users to implement their own algorithms
• typesetting system for mathematical expressions (see "pretty print")

The study of algorithms useful for computer algebra systems is known as computer algebra.

The run-time of numerical programs implemented in computer algebra systems is normally longer than that of equivalent programs implemented in systems such as MATLAB, GNU Octave or directly in C, because the computer algebra languages are often interpreted and the bignum system may cause overhead. (Note that MATLAB and Octave are interpreted also.)

Table of contents

1 History 2 List of Computer algebra systems 3 Mathematics used in computer algebra systems 4 See Also 5 External links

History

Computer algebra systems began to appear in the early 1970s, and evolved out of research into artificial intelligence (the fields are now regarded as largely separate). The first popular systems were Reduce, Derive and Macsyma which are still commercially available; a copyleft version of Macsyma called GNU Maxima is actively being maintained. The current market leaders are Maple and Mathematica; both are commonly used by research mathematicians. MuPAD is a commercial system which provides a free version (with slightly restricted user interface) for non-commercial research and educational usage. Some computer algebra systems focus on a specific area of application; these are typically developed in academia and free.

List of Computer algebra systems

• General purpose:
  • (free (as in speech) software):
    • Axiom,
    • GiNaC,
    • Maxima,
    • Yacas,
  • other:
    • DoCon (the Algebraic Domain constructor based on Haskell),
    • Magma,
    • Maple,
    • Mathematica,
    • MuPAD,
    • Reduce.
• algebraic geometry, polynomial computations:
  • Macaulay,
  • SINGULAR.
• graph theory:
  • VEGA.
• algebra, group theory:
  • GAP (free (as in speech) software).
• number theory:
  • PARI-GP (free (as in speech) software).
• calculator algebra systems:
  • TI-89,
  • TI-92,
  • HP 49G+.
• numerical:
  • MATLAB,
  • GNU Octave (free (as in speech) software),
  • Mathcad.
• statistical:
  • S (programming language)
  • R (free (as in speech) software),

Mathematics used in computer algebra systems

• Symbolic integration
• Gr�bner Basis
• Greatest common divisor
• Polynomial factorization

See Also

• A sharp
• 20-GATE

External links

List of computer algebra systems

• http://compalg.inf.elte.hu/compalg/coindex.html
• http://directory.google.com/Top/Science/Math/Software/
• http://www-mri.math.kun.nl/systems_and_packages/systems_and_packages.html
• http://www.cs.kun.nl/~freek/digimath/
• http://dmoz.org/Science/Math/Software/
• http://www.mat.univie.ac.at/~slc/divers/software.html
• http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/
• SAL list of computer algebra systems (http://sal.kachinatech.com/A/1/)

Webpages of computer algebra systems

• Axiom (http://www.nongnu.org/axiom/)
• DoCon (http://www.haskell.org/docon/)
• GAP (http://www.gap-system.org/)
• GiNaC (http://www.ginac.de/)
• PARI-GP (http://www.parigp-home.de)
• Maple (http://www.maplesoft.com/)
• Mathematica (http://www.wolfram.com/products/mathematica/index.html)
• Maxima (http://maxima.sourceforge.net/)
• REDUCE (http://reduce-algebra.com)

de:Computer Algebra System ja:数式処理システム

Related links

---

Top visited 0 of 0 links

[no links posted yet]

>> place link >>

Discussion

Last posted 0 of 0 messages

[no messages posted yet]

>> post message >>

Watch

You can add this article to your own "watchlist" and receive e-mail notification about all changes in this page.