2
z3
Z3 es un probador de teoremas de Microsoft Research.
Z3 es un probador de teoremas de Microsoft Research
Sitio web:
https://github.com/Z3Prover/z3Caracteristicas
Categorias
Alternativas a z3 para todas las plataformas con cualquier licencia
180
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.
165
R (programming language)
R es un entorno de software libre para computación estadística y gráficos.
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.
41
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