z3

z3

Z3 er en teorem-prover fra Microsoft Research.
Z3 er en teorem-prover fra Microsoft Research
z3

Alternativer til z3 til Mac

MATLAB

MATLAB

Enterprise-klasse computermiljø og programmeringssprog til numerisk beregning.
GNU Octave

GNU Octave

Octave er et computerprogram til udførelse af numeriske beregninger, som for det meste er kompatibelt med MATLAB.Det er en del af GNU-projektet.
R (programming language)

R (programming language)

R er et gratis softwaremiljø til statistisk computing og grafik.
Mathematica

Mathematica

Definitivt teknisk computersystem, der spænder over maskinlæring og neurale netværk, datavidenskab, visualiseringer og meget mere.