Mathematica

Mathematica

权威的技术计算系统，涵盖了机器学习和神经网络，数据科学，可视化等等。
Mathematica是一种计算软件程序，广泛用于科学，工程和数学领域以及其他技术计算领域。
mathematica

网站:

特征

分类目录

C++版Mathematica的替代品

z3

z3

Z3是Microsoft Research的一个定理证明者。