有适用于 Ubuntu 的关系代数软件吗？

Question

我正在寻找一个处理关系和关系的关系代数的程序。

Answer 1

以下是“关系型“，这是一个基于 GUI 的关系代数应用程序。根据该网站的说法，它是一个“教育工具”，所以我不确定它是否正是你想要的。

您应该能够通过从终端会话运行以下命令来安装它：

sudo apt-get install relational

Answer 2

或许智者有一些对你有用的功能吗？这是一个多用途 CAS。如果没有，这里有一个关系代数的厚报告我完全搞不懂——甚至不知道作者所说的软件在哪里可以找到。

Answer 3

CAS，wxMaxima 非常灵活，可能已经与 Ubuntu 一起安装。