Linux版Mathematica的替代品

9

6
Mathomatic
Mathomatic是一个免费,便携式的通用计算机代数系统(CAS),可以自动求解,区分,简化,组合和比较代数方程式...

6

5

4

2

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

1
Altair Compose
Altair Compose用于执行各种数学和线性代数(包括矩阵分析和微分方程),过滤信号,通过数据拟合多项式,近似或检查仿真软件的结果,执行优化。