Software matemático - Mathematical software
Software matemático é o software usado para modelar , analisar ou calcular dados numéricos, simbólicos ou geométricos.
Evolução do software matemático
A análise numérica e a computação simbólica ocuparam o lugar mais importante do assunto, mas outro tipo delas também está crescendo agora. Um conhecimento matemático útil, como algoritmo, que existia antes da invenção do computador eletrônico , ajudou no desenvolvimento de software matemático. Por outro lado, pelo crescimento do poder de computação (como ver a lei de Moore ), o novo tratamento (por exemplo, um novo tipo de técnica como a assimilação de dados que combinava análise numérica e estatística ) necessitando inversamente do progresso da matemática ciências ou matemática aplicada .
O progresso da apresentação de informações matemáticas como TeX ou MathML exigirá a evolução da linguagem de manipulação de fórmulas para a linguagem de manipulação matemática verdadeira (não obstante o problema de que a teoria matemática é inconsistente ou não). E a popularização do software matemático de propósito geral, o software matemático de propósito especial, denominado software de propósito único, que utilizou um assunto especial, estará vivo com a adaptação para o progresso do ambiente na normalização da plataforma. Assim, a diversidade de softwares matemáticos será mantida.
Calculadora de software
Uma calculadora de software permite ao usuário realizar operações matemáticas simples, como adição, multiplicação, exponenciação e trigonometria. A entrada de dados normalmente é manual e a saída é um rótulo de texto.
Sistemas de álgebra computacional
Muitas suítes matemáticas são sistemas de álgebra computacional que usam matemática simbólica . Eles são projetados para resolver equações de álgebra clássicas e problemas em notação legível por humanos.
Estatisticas
Muitas ferramentas estão disponíveis para análise estatística de dados. Veja também Comparação de pacotes estatísticos .
Provadores de teoremas e assistentes de prova
Software de otimização
Geometria
Análise numérica
TK Solver é um sistema de software de modelagem matemática e solução de problemas baseado em uma linguagem declarativa baseada em regras, comercializado pela Universal Technical Systems, Inc ..
O Netlib repositório contém várias coleções de rotinas de software para problemas numéricos, a maioria em Fortran e C . Os produtos comerciais que implementam muitos algoritmos numéricos diferentes incluem as bibliotecas IMSL , NMath e NAG ; uma alternativa gratuita é a Biblioteca Científica GNU . Uma abordagem diferente é feita pela biblioteca Numerical Recipes , onde a ênfase é colocada na compreensão clara dos algoritmos.
Muitos sistemas de álgebra computacional (listados acima) também podem ser usados para cálculos numéricos.
Consulte também Comparação de software de análise numérica .
Software de matemática musical
O software de matemática musical utiliza a matemática para analisar ou sintetizar símbolos e padrões musicais.
- Musimat (por Gareth Loy )
Sites
Um número crescente de softwares matemáticos está disponível em navegadores da web, sem a necessidade de baixar ou instalar nenhum código.
Bibliotecas de programação
Bibliotecas matemáticas de baixo nível destinadas ao uso em outras linguagens de programação:
- GMP , a GNU Multi-Precision Library para aritmética de precisão arbitrária extremamente rápida .
- Class Library for Numbers , uma biblioteca C ++ de alto nível para aritmética de precisão arbitrária .
- AMD Core Math Library , uma biblioteca de desenvolvimento de software lançada pela AMD
- Boost.Math