Linux版MATLAB的替代品
9
9
Mirai Math
GNU Octave的图形前端。编辑公式的固有数学符号。适用于Linux x586 / x86_64,WinXP,Vista和MacOS。
8
jasymca
Jasymca是用于解决数学问题的交互式系统。它支持任意精度数字和符号变量。
8
Yakindu Statechart Tools
免费使用的开放源代码工具包YAKINDU Statechart Tools(SCT)提供了一个集成的建模环境,用于规范和开发反应式,事件驱动的...
6
Mathomatic
Mathomatic是一个免费,便携式的通用计算机代数系统(CAS),可以自动求解,区分,简化,组合和比较代数方程式...
6
5
4
2
z3
Z3是Microsoft Research的一个定理证明者。