z3

Z3 je dokaz teorema podjetja Microsoft Research.

Z3 je dokaz teorema podjetja Microsoft Research

Alternativa z3u za Linux

180

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

172

Octave je računalniški program za izvajanje številčnih izračunov, ki je večinoma združljiv z MATLAB.Je del projekta GNU.

165

R je brezplačno programsko okolje za statistično računalništvo in grafiko.

140

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