Alternativas ao z3 para todas as plataformas com qualquer licença

• Todas as plataformas
  Todas as plataformas Windows Mac Linux Android iPhone iPad Web BSD
• Qualquer licença
  Qualquer licença Licença gratuita Licença Open Source Licença comercial

180

MATLAB

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

• Pago
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

172

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.

• Grátis
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

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

• Grátis
• Windows
• Mac
• Linux
• BSD

140

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.

• Pago
• Web
• Windows
• Mac
• Linux

41

fxSolver

Solver matemática online, editor de equações e banco de dados, calculadora gráfica e auxiliar de problemas de ciências / engenharia.

• Grátis
• Web

8

Cymath

Digite seu problema de matemática e deixe Cymath resolvê-lo passo a passo! Para alunos do ensino médio, Cymath cobre tópicos de álgebra, como: - resolução de equações - fatoração

• Grátis

0

Solve My Math

Obtenha ajuda matemática rápida e on-line com mais de cem solucionadores e calculadores matemáticos instantâneos e mesmo passo a passo, projetados para ajudá-lo a resolver seus problemas de matemática e entender os conceitos por trás deles !.

• Grátis
• Web