数学

使用神奇的智能应用程序使计算更轻松、创建图表、转换单位、求解方程式或处理复杂的数学技巧。

Coq

数学的正式证明管理系统。

SAGE

开源高级数学软件。