Mac版MATLAB的替代品
8
Yakindu Statechart Tools
免费使用的开放源代码工具包YAKINDU Statechart Tools(SCT)提供了一个集成的建模环境,用于规范和开发反应式,事件驱动的...
8
jasymca
Jasymca是用于解决数学问题的交互式系统。它支持任意精度数字和符号变量。
7
MathStudio
MathStudio(以前为SpaceTime)是可用于移动设备的最全面的数学应用程序。
6
Mathomatic
Mathomatic是一个免费,便携式的通用计算机代数系统(CAS),可以自动求解,区分,简化,组合和比较代数方程式...
6
4
2
2
z3
Z3是Microsoft Research的一个定理证明者。
1
HP Prime Graphing Calculator
HP Prime是适用于高中和大学的出色科学和图形计算器。