
180
MATLAB é um ambiente de computação numérica e linguagem de programação.Mantido pelo MathWorks, o MATLAB permite fácil manipulação matricial, plotagem de funções e dados, implementação de algoritmos, criação de interfaces de usuário e interface com programas em outros idiomas.Embora seja apenas numérico, uma caixa de ferramentas opcional usa o mecanismo simbólico do MuPAD, permitindo acesso aos recursos de álgebra do computador.Um pacote adicional, o Simulink, adiciona simulação gráfica de vários domínios e design baseado em modelo para sistemas dinâmicos e incorporados.
Local na rede Internet:
http://www.mathworks.com/products/matlab/Alternativas ao MATLAB para Python

81
SciPy & Numpy
SciPy (pronunciado "Sigh Pie") é um software de código aberto para matemática, ciências e engenharia.

31

2
z3
Z3 é um provador de teoremas da Microsoft Research.