Um sistema de computação simbólica ( sistema de álgebra computacional ou CAS em inglês ) é um software que facilita a computação simbólica . A parte principal deste sistema é a manipulação de expressões matemáticas em sua forma simbólica.
As expressões podem ser:
As manipulações simbólicas são normalmente:
Além disso, esses sistemas incluem operações digitais:
Vários também oferecem uma linguagem de programação de alto nível , que permite aos usuários personalizar ou aumentar a funcionalidade já presente.
O tempo de execução durante a avaliação numérica é geralmente mais do que programas equivalentes implementadas em MATLAB , Octave ou linguagem C . Isso é normal, pois esses sistemas consideram a representação simbólica quase o tempo todo, o que não permite que eles aproveitem ao máximo as bibliotecas digitais de processadores (CPUs).
Martin Veltman é o pioneiro neste campo, ele que projetou as primeiras aplicações em física de alta energia . Seu primeiro programa, desenhado em 1963, foi denominado Schoonschip ("navio limpo" em holandês ).
Esses sistemas se tornaram populares no início dos anos 1970 e lideraram a criação da IA . Em 2006, eles são vistos como campos de estudo separados.
Os primeiros sistemas a se tornarem populares são Reduce , Derive e Macsyma , que ainda estão disponíveis. Uma versão gratuita do Macsyma sob licença GNU chamada Maxima ainda é mantida.
Os líderes neste mercado são Maple e Mathematica . Ambos são comumente usados por matemáticos, cientistas e engenheiros. MuPAD e Mathcad também estão disponíveis.
O funcionamento do software livre Giac / Xcas é semelhante ao das calculadoras formais da marca Texas Instruments . A Axiom computador sistema de álgebra inicialmente desenvolvido pela IBM deixou de ser comercializado em 2001 e tornou-se software livre em 2002. Os FRICAS e projectos OpenAxiom iniciados em 2007 estão diretamente derivada da inicial Axiom programa .
Outros sistemas são mais especializados e limitados a algumas áreas de aplicação. Eles geralmente são projetados, desenvolvidos e mantidos em um ambiente acadêmico.