具有任何许可的所有平台的Mathematica替代品
2
z3
Z3是Microsoft Research的一个定理证明者。
2
1
HP Prime Graphing Calculator
HP Prime是适用于高中和大学的出色科学和图形计算器。
1
Altair Compose
Altair Compose用于执行各种数学和线性代数(包括矩阵分析和微分方程),过滤信号,通过数据拟合多项式,近似或检查仿真软件的结果,执行优化。
0