z3

z3

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

Local na rede Internet:

Alternativas ao z3 para Mac

MATLAB

MATLAB

Ambiente de computação de classe corporativa e linguagem de programação para computação numérica.
GNU Octave

GNU Octave

O Octave é um programa de computador para realizar cálculos numéricos que são compatíveis com o MATLAB.Faz parte do projeto GNU.
R (programming language)

R (programming language)

R é um ambiente de software livre para computação e gráficos estatísticos.
Mathematica

Mathematica

Sistema de computação técnica definitivo, abrangendo aprendizado de máquina e redes neurais, ciência de dados, visualizações e muito mais.