z3

z3

Z3 je dokaz teorema tvrtke Microsoft Research.
Z3 je dokaz teorema tvrtke Microsoft Research
z3

Alternativa z3u za Mac

MATLAB

MATLAB

Računalno okruženje i programski jezik poduzeća klase za numeričko računanje.
GNU Octave

GNU Octave

Octave je računalni program za izvođenje numeričkih izračuna koji je uglavnom kompatibilan s MATLAB-om.Dio je GNU Projekta.
R (programming language)

R (programming language)

R je besplatno softversko okruženje za statističko računanje i grafiku.
Mathematica

Mathematica

Definitivan tehnički računalni sustav koji obuhvaća strojno učenje i neuronske mreže, znanost o podacima, vizualizacije i još mnogo toga.