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