z3

Z3 adalah prover teorem dari Microsoft Research.

Z3 adalah prover teorem dari Microsoft Research

Alternatif untuk z3 untuk Windows

180

Persekitaran pengkomputeran kelas perusahaan dan bahasa pengaturcaraan untuk pengiraan berangka.

172

Octave adalah program komputer untuk melakukan perhitungan berangka yang kebanyakannya serasi dengan MATLAB.Ia adalah sebahagian daripada Projek GNU.

165

R adalah persekitaran perisian percuma untuk pengkomputeran dan grafik statistik.

140

Sistem pengkomputeran teknikal yang pasti merangkumi pembelajaran mesin dan rangkaian saraf, sains data, visualisasi dan banyak lagi.