140
Mathematica je výpočtový softvérový program, ktorý sa vo veľkej miere používa vo vedeckých, inžinierskych a matematických odboroch a iných oblastiach technickej výpočtovej techniky.
Vlastnosti
Kategórie
Alternatívy programu Mathematica pre OCaml
2
z3
Z3 je dokázateľ vety z programu Microsoft Research.
- Bezplatná
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++