140
Mathematica je računalniški program, ki se široko uporablja na znanstvenem, inženirskem in matematičnem področju ter na drugih področjih tehničnega računalništva.
Spletna stran:
http://www.wolfram.com/products/mathematica/Lastnosti
Kategorije
Alternativa Mathematicau za Python
2
z3
Z3 je dokaz teorema podjetja Microsoft Research.
- Brezplačna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++