Programi za simbolno računanje (angleški izraz je Computer algebra system; kratica CAS) so programje, ki omogoča simbolično matematiko. Ti programi imajo običajno naslednje možnosti:

• aritmetika (računanje) s poljubno natanč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 kvaliteten 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
    • Eigenmath
    • GiNaC
    • Maxima
    • Yacas
    • dcas
• 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
• Derive
• Derive (Evropa)
• DoCon
• GAP
• GiNaC
• PARI-GP
• Maple
• Mathematica
• Maxima
• REDUCE
• DCAS

Programska oprema

Computer-Algebra-System | Computer algebra system | Sistema algebraico computacional | Logiciel de calcul formel | Sistema di algebra computazionale | 数式処理システム | Computer Algebra System | Sistema de álgebra computacional | Datoralgebrasystem | Hệ thống đại số máy tính