2
z3
Z3 je věta z Microsoft Research.
Alternativy z3 pro Windows
180
172
GNU Octave
Octave je počítačový program pro provádění numerických výpočtů, který je většinou kompatibilní s MATLABem.Je součástí projektu GNU.
165
R (programming language)
R je svobodné softwarové prostředí pro statistické výpočty a grafiku.
140
Mathematica
Definitivní technický výpočetní systém zahrnující strojové učení a neuronové sítě, věda o datech, vizualizace a mnoho dalšího.