140
Mathematica er et beregningssoftwareprogram, der bruges vidt i videnskabelige, ingeniørmæssige og matematiske felter og andre områder af teknisk databehandling.
Internet side:
http://www.wolfram.com/products/mathematica/Funktioner
Kategorier
Alternativer til Mathematica til C (programming language)
2
z3
Z3 er en teorem-prover fra Microsoft Research.