z3

z3

Z3 je dokázateľ vety z programu Microsoft Research.
Z3 je dokázateľ vety z programu Microsoft Research
z3

Alternatívy programu z3 pre Mac

MATLAB

MATLAB

Počítačové prostredie podnikovej triedy a programovací jazyk pre numerické výpočty.
GNU Octave

GNU Octave

Octave je počítačový program na vykonávanie numerických výpočtov, ktorý je väčšinou kompatibilný s MATLABom.Je súčasťou projektu GNU.
R (programming language)

R (programming language)

R je slobodné softvérové ​​prostredie pre štatistické výpočty a grafiku.
Mathematica

Mathematica

Definitívny technický výpočtový systém zahŕňajúci strojové učenie a neurónové siete, vedu o údajoch, vizualizácie a oveľa viac.