z3

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

Z3 je dokázateľ vety z programu Microsoft Research

Alternatívy programu z3 pre Windows

180

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

172

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.

165

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

140

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.