z3

Z3 jest twierdzeniem twierdzącym z Microsoft Research.

Z3 jest twierdzeniem twierdzącym z Microsoft Research

Alternatywy dla z3 dla Windows

180

Środowisko obliczeniowe klasy korporacyjnej i język programowania do obliczeń numerycznych.

172

Octave to program komputerowy do wykonywania obliczeń numerycznych, który jest w większości kompatybilny z MATLAB.Jest częścią Projektu GNU.

165

R jest wolnym środowiskiem oprogramowania do obliczeń statystycznych i grafiki.

140

Ostateczny techniczny system komputerowy obejmujący uczenie maszynowe i sieci neuronowe, analizę danych, wizualizacje i wiele innych.