A computação simbólica é um ramo da Ciência da Computação e da Matemática
cujos fundamentos teóricos centralizam-se no estudo de não numéricos, isto é, as operações
simbólicas que podem tratados por um computador, com ênfase especial em
cálculos simbólicos tais como fatoração de polinômios, resolução de equações
algébricas e equações diferenciais, operações e cálculo com matrizes, etc. Os
cálculos realizados no tratamento simbólico
são exatos, isto é, têm precisão infinita, em contraste ao
correspondente tratamento numérico. Nas ultimas décadas muitos sistemas de
computação simbólica foram desenvolvidos. Os aplicativos mais conhecidos são:
MACSYMA
É um sistema algébrico computacional originalmente
desenvolvido entre 1968 e 1982 pelo MIT, como parte do Projeto MAC e depois foi vendido comercialmente.
Ele foi um dos primeiros sistemas especialistas baseado em conhecimento. Muitas das
ideias criadas por ele são atualmente usadas nos programas Mathematica, Maple e outros.
MAXIMA
É um programa de computador, sob a licença GPL, para
lidar com sistemas algébricos. William F. Shelter desenvolveu esse programa em
LISP baseado na implementação original do Macsyma no MIT. O GNU/MAXIMA pode ser
utilizado para cálculos matemáticos, manipulação simbólica, computação numérica
e criação de gráficos.
MATHEMATICA
É um programa de
computador, originalmente concebido por Stephen Wolfram, e
continuamente desenvolvido pela empresa Wolfram Research, localizada
em Champaign
(Illinois), que implementa um sistema de álgebra
computacional. Para além de uma linguagem de
programação, contém diversas bibliotecas
de programação prontas a serem usadas para diversos fins em
várias áreas das ciências exatas.1
O programa
insere-se em diversas áreas da engenharia, biologia,
química, processamento de imagens, finanças, estatística, matemática, além de
outras, e também serve como um ambiente para desenvolvimento rápido
de programas.
MATCAD
É um entorno
de documentação técnica com prestações de cálculo numérico e simbólico, que
permite explorar problemas, formular idéias, analisar dados, modelar e
verificar cenários, determinar a melhor solução, assim como também documentar,
apresentar e comunicar os resultados.
Algumas das
capacidades matemáticas do Mathcad estão baseadas no código algébrico Maple
(Núcleo MathSoft de Maple o Mathsoft núcleo Maple, MKM)
MathCad se
encontra organizado como uma planilha, equações e expressões em que são
apresentados graficamente, não como texto simples.
Nenhum comentário:
Postar um comentário