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 C (programming language)
2
z3
Z3 é um provador de teoremas da Microsoft Research.