SymjaJava计算机代数计算工具

Relational 是一个接口，用来从文件中加载关系，编写代数查询，并查看结果。该软件主要用于教学

Relational是一个接口，用来从文件中加载关系，编写代数查询，并查看结果。该软件主要用于教学目的，可用来检测一个代数查询是否正确。

SymPy是一个象征性的操作方案，纯Python写的。其目的是要成为一个全功能的Python代数计算库，同时保持为代码尽可能简单，以便理解和容易扩展。目前，Sympy目前只有1600的代码（包括注释行

SymPy是一个象征性的操作方案，纯Python写的。其目的是要成为一个全功能的Python代数计算

Axiom是一个通用的计算机代数系统，用于研究和开发数学算法，定义了强类型的数学形式上正确的类型系统，拥有自己的编程语言和内置编译器。

wxMaxima是一个基于wxWidgets的计算机代数系统软件。它提供了用户界面，包括菜单系统，阅读帮助和格式化输出。能操纵多项式，矩阵，一体化和图形等。功能和特点二维格式的数学显示：实现自己的数学

Maxima是一种用CommonLisp开发的计算机代数系统（或符号计算系统），用于公式推导、符号计算、数值计算等。类似的商业产品有美国WolframResearch公司的Mathematica、加拿

MathEclipse 是一个Java 计算机代数系统

Algebrite 是用 Javascript  (Coffeescript)  写的计算机代数系统

wxMaxima是一个基于wxWidgets的计算机代数系统软件。它提供了用户界面，包括菜单系统，阅