z3

z3

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

Alternativa z3u za Linux s komercialno licenco

MATLAB

MATLAB

Računalniško okolje podjetja in programski jezik za numerično računanje.
Mathematica

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č.