Alternativas a z3 para todas las plataformas con cualquier licencia

• Todas las plataformas
  Todas las plataformas Windows Mac Linux Android iPhone iPad Web BSD
• Cualquier licencia
  Cualquier licencia Licencia gratuita Licencia de código abierto Licencia comercial

180

MATLAB

Entorno informático de clase empresarial y lenguaje de programación para computación numérica.

• De pago
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

172

GNU Octave

Octave es un programa de computadora para realizar cálculos numéricos que es principalmente compatible con MATLAB.Es parte del Proyecto GNU.

• Gratis
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

R es un entorno de software libre para computación estadística y gráficos.

• Gratis
• Windows
• Mac
• Linux
• BSD

140

Mathematica

Sistema informático técnico definitivo que abarca el aprendizaje automático y las redes neuronales, ciencia de datos, visualizaciones y mucho más.

• De pago
• Web
• Windows
• Mac
• Linux

41

fxSolver

Solucionador de matemáticas en línea, editor de ecuaciones y base de datos, calculadora gráfica y ayudante de problemas de ciencia / ingeniería.

• Gratis
• Web

8

Cymath

¡Ingrese su problema de matemáticas y deje que Cymath lo resuelva por usted paso a paso! Para los estudiantes de secundaria, Cymath cubre temas de álgebra como: - resolución de ecuaciones- factorización

• Gratis

0

Solve My Math

Obtenga ayuda matemática de forma rápida y en línea con más de cien solucionadores y calculadores matemáticos instantáneos e incluso paso a paso diseñados para ayudarlo a resolver sus problemas matemáticos y comprender los conceptos detrás de ellos.

• Gratis
• Web