Programi za simbolno računanje (angleški izraz je Computer algebra system (računalniški algebrski sistem); kratica CAS) so programi, ki omogočajo simbolično matematiko. Ti programi imajo običajno naslednje možnosti: aritmetika (računanje) s poljubno točnostjo simbolično poenostavljanje izrazov (razcep, združevanje, reševanje enačb, odvajanje in integriranje) grafična predstavitev funkcij v 2-D in 3-D matrične operacije višji programski jezik oblikovanje besedila in kakovosten izpis matematičnega besedila
Na področju geometrije so podobni programi za dinamično geometrijo.
Seznam programov za simbolno računanje
Splošno namenski programi Komercialni programi: Derive DoCon Maple Mathematica MuMATH MuPAD Reduce Prosto programje: Axiom dcas Eigenmath GiNaC Maxima Sage Yacas algebrska geometrija: Macaulay SINGULAR teorija grafov: VEGA algebra: GAP (prosto programje) Magma teorija števil: PARI-GP (prosto programje) računala s programi za simbolno računanje: TI-89 (Derive) TI-92 (Derive) HP 49G+ numerični paketi: MATLAB GNU Octave (prosto programje) Scilab Mathcad statistika: S (programski jezik) R (prosto programje)
Matematika v programih za simbolno računanje simbolična integracija Gröbnerjeva baza največji skupni delitelj razcep polinoma
Glej tudi Prolog
Zunanje povezave
Seznami programov za simbolno računanje http://compalg.inf.elte.hu/compalg/coindex.html http://www-mri.math.kun.nl/systems_and_packages/systems_and_packages.html http://www.cs.kun.nl/~freek/digimath/ 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
Spletne strani programov za simbolno računanje Axiom DCAS Derive Derive (Evropa) DoCon GAP GiNaC PARI-GP Maple Mathematica Maxima REDUCE Sage
Programi za simbolno računanje