123
Axiom

Axiom

公理是通用的计算机代数系统。对于研究和开发数学算法很有用。
公理是通用的计算机代数系统。对于研究和开发数学算法很有用。它定义了强类型的，数学上正确的类型层次结构。它具有编程语言和内置编译器。

网站:

分类目录

具有免费许可证的iPad版Axiom的替代品

Wolfram Alpha

Wolfram Alpha

Wolfram Alpha是一个“计算知识引擎”，与搜索引擎不同，它通过计算结构化数据的答案直接回答事实查询。