千里马ー计算机代数系统与符号和数值表达式工作。该软件包含了一套分化，整合，扩张一系列工具，拉普拉斯变换，常微分方程，线性方程组的解等千里马实现了高精度的数值计算采用全数字，确切的分数或可变精度浮点-point号码。该软件还允许你建立2和3维图形功能和统计数据。