140
Mathematica to oprogramowanie obliczeniowe powszechnie stosowane w naukach, inżynierii i matematyce oraz w innych obszarach informatyki technicznej.
Stronie internetowej:
http://www.wolfram.com/products/mathematica/cechy
Kategorie
Alternatywy dla Mathematica dla WebAssembly
2
z3
Z3 jest twierdzeniem twierdzącym z Microsoft Research.