2
z3
Z3 je dokaz teorema podjetja Microsoft Research.
- Brezplačna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 je dokaz teorema podjetja Microsoft Research
z3
Spletna stran:
https://github.com/Z3Prover/z3Lastnosti
Kategorije
Alternativa z3u za vse platforme s katero koli licenco
180
172
GNU Octave
Octave je računalniški program za izvajanje številčnih izračunov, ki je večinoma združljiv z MATLAB.Je del projekta GNU.
165
R (programming language)
R je brezplačno programsko okolje za statistično računalništvo in grafiko.
140
Mathematica
Dokončni tehnični računalniški sistem, ki sega v strojno učenje in nevronske mreže, podatkovne znanosti, vizualizacije in še veliko več.
41
8
Cymath
Vnesite svojo matematično težavo in dovolite, da jo Cymath reši po korakih! Za srednješolce Cymath pokriva teme iz algebre, kot so: - reševanje enačb - faktoring
- Brezplačna
0
Solve My Math
Hitro in spletno pomoč pridobite pri matematiki z več kot sto takojšnjimi in enakomernimi matematičnimi rešitvami in kalkulatorji, ki vam bodo pomagali rešiti matematične težave in razumeti koncepte, ki stojijo za njimi !.
- Brezplačna
- Web