Počítač systém algebry

počítač systém algebry (CAS) je software, který usnadní symbolický matematika. Typicky, tyto systémy obsahují

• libovolná preciznost (bignum) aritmetika, počítat s příkladem ocenit pi k 10,000 číslicím.
• symbolický manipulační motor, zjednodušit algebraické výrazy, rozlišovat a začleňovat funguje a vyřešit rovnice
• graphing zařízení, produkovat grafy funkcí, typicky v dva a tři rozměry
• lineární algebra podsystém, dovolit maticová počítání a platit systémů lineárních rovnic
• vysoce srovnat programovací jazyk, dovolit uživatelům realizovat jejich vlastní algoritmy

Studie algoritmů užitečný pro počítač systémy algebry je známý jako algebra počítače.

Provozní numerických programů realizovaných v počítači systémy algebry je normálně delší než to rovnocenných programů realizovaných v systémech takový jako MATLAB, GNU oktáva nebo přímo v C, protože počítač jazyky algebry jsou často interpretované a bignum systém může způsobit horní. (si všimnout toho MATLAB a oktáva být interpretován také.)

Historie

Počítač systémy algebry začaly objevit se v brzy sedmdesátá léta, a se vyvinul z výzkumu umělé inteligence (pole jsou nyní pokládaná jak velmi se oddělují). První populární systémy byly se snížit, pocházet a Macsyma který být ještě komerčně dostupný; copyleft verze Macsyma volala GNU Maxima je aktivně bytí tvrdilo. Vůdcové současného trhu jsou Javor a Mathematica; oba jsou běžně používaní matematiky výzkumu. MuPAD je systém reklamy, který poskytuje volnou verzi (se lehce omezeným uživatelským rozhraním) pro non-výzkum reklamy a vzdělávací použití. Nějaký počítač systémy algebry se zaměří na specifickou oblast aplikace; tito jsou typicky rozvinutí v akademickém světě a volný. Příklady obsahují:

• algebra, combinatorics, geometrie, teorie čísel:
  • Magma,
• algebraická geometrie, polynomial počítání:
  • Macaulay,
  • Singulární,
• teorie grafu:
  • Vega,
• seskupit teorii:
  • Mezera systém,
• číselné teoretické vypočítavosti:
  • PARI-praktický lékař.
• kalkulačka systémy algebry
  • TI-89
  • TI-92
  • HP 49G+

Matematika významný pro CAS

Symbolická integrace, Gröbner základ, Největší společný dělitel, Polynomial Factorization

Vidět také: Ostrý, 20-brána

Vnější spojení:

• Seznam Sala počítače systémy algebry: http://sal.kachinatech.com/A/1/
• PARI-praktický lékař: http://www.parigp-home.de