140
Mathematica je računalni softverski program koji se široko koristi u znanstvenim, inženjerskim i matematičkim oblastima i drugim područjima tehničkog računanja.
Web stranica:
http://www.wolfram.com/products/mathematica/Značajke
Kategorije
Alternativa Mathematicau za WebAssembly
2
z3
Z3 je dokaz teorema tvrtke Microsoft Research.
- Besplatna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++