140
Mathematica är ett beräkningsprogram som används allmänt inom vetenskapliga, tekniska och matematiska områden och andra områden inom teknisk databehandling.
Funktioner
kategorier
Alternativ till Mathematica för C (programming language)
2
z3
Z3 är en teorem-prover från Microsoft Research.