Matemática simbólica

Neste artigo exploraremos em profundidade o tema Matemática simbólica, examinando suas origens, seu impacto na sociedade contemporânea e sua relevância em diferentes áreas da vida cotidiana. Para melhor compreender este fenómeno, aprofundaremos a sua história, analisaremos diferentes perspetivas e daremos voz a especialistas na matéria. Ao longo destas páginas, convido o leitor a refletir sobre Matemática simbólica a partir de várias perspectivas e a questionar as suas próprias ideias pré-concebidas sobre o assunto. Espero que este artigo seja uma fonte de conhecimento e inspiração, e que contribua para enriquecer o diálogo em torno de Matemática simbólica.

Matemática simbólica, diz respeito ao uso de computadores para manipular equações matemáticas e expressões em forma simbólica, em oposição à mera manipulação de aproximações a quantidades numéricas específicas representadas por aqueles símbolos. Um tal sistema pode ser usado para integração ou diferenciação, substituição de uma expressão numa outra, simplificação de uma expressão, etc.

Tem uso no teste de software sobo título de "execução simbólica", onde pode ser usada para analisar se e quando erros no código podem ocorrer. Pode ser usada para prever o que certas partes do código fazem a inputs e outputs especificados.

Há vários softwares no mercado para matemática simbólica, normalmente chamados de sistemas de álgebra computacional.