
140
Mathematica es un programa de software computacional utilizado ampliamente en campos científicos, de ingeniería y matemáticos y otras áreas de computación técnica.
Sitio web:
http://www.wolfram.com/products/mathematica/Caracteristicas
Categorias
Alternativas a Mathematica para WebAssembly

2
z3
Z3 es un probador de teoremas de Microsoft Research.