140
Mathematica adalah program perisian pengiraan yang digunakan secara meluas dalam bidang sains, kejuruteraan, matematik dan bidang pengkomputeran yang lain.
mathematica
ciri-ciri
Kategori
Alternatif untuk Mathematica untuk WebAssembly
2
z3
Z3 adalah prover teorem dari Microsoft Research.