Mathematica

Mathematica

Definitivt tekniskt datorsystem som spänner över maskininlärning och neurala nätverk, datavetenskap, visualiseringar och mycket mer.
Mathematica är ett beräkningsprogram som används allmänt inom vetenskapliga, tekniska och matematiska områden och andra områden inom teknisk databehandling.
mathematica

Alternativ till Mathematica för Python

z3

z3

Z3 är en teorem-prover från Microsoft Research.