2
z3
Z3 jest twierdzeniem twierdzącym z Microsoft Research.
Z3 jest twierdzeniem twierdzącym z Microsoft Research
z3
Stronie internetowej:
https://github.com/Z3Prover/z3Kategorie
Alternatywy dla z3 dla Mac
180
172
GNU Octave
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 (programming language)
R jest wolnym środowiskiem oprogramowania do obliczeń statystycznych i grafiki.
140
Mathematica
Ostateczny techniczny system komputerowy obejmujący uczenie maszynowe i sieci neuronowe, analizę danych, wizualizacje i wiele innych.