裸机计算机代数系统？

我正在为 JavaScript 寻找一个简单的计算机代数系统 (cas) ，但我在 google 上找不到任何东西。 我只需要基本功能： 将表达式简化为某种规范形式。 能够检查两个表达式是否相同，即 a(x+y) == ax+ay 解析数学公式。 我希望它能够读取像 ax²+4x 这样的表 ...

我正在用PHP创建一个CAS（计算机代数系统），但我现在卡住了。 我正在使用这个网站 。 现在我写了一个tokenizer。 它将转换如下的等式： 对此： （其中group是另一组令牌）。 我该如何简化这个等式？ 是的，我知道你能做什么：添加X-vars，但它们在子 ...

有没有人知道有关计算机代数系统一般理论的任何资源（书籍，课程，讲义或任何内容）（例如mathematica ， sympy ）？ “介绍性”材料是首选，但我意识到，对于这样一个专门的主题，任何东西都必定相当先进。 ...

有谁知道一个很好的开源CAS库，可以轻松地用JavaScript访问。 它不必非常强大。 我正在寻找的核心功能是简化代数表达式。 所有答案都是有帮助的（很抱歉，这是我第一次来SO）。 谢谢迈克尔 ...

我正在寻找与R结合使用不同的“更高”数学运算的可能性。 R和CAS之间的链接或集成将是完美的解决方案。 R和其他（数学和统计相关）系统或反之亦然的整合是什么？ 他们的表现如何？ 你会建议什么？ 他们是多么广泛（时间，金钱和挫折）？ （FOSS当然是首选:) ...

我正在为scala寻找一个简单的CAS系统。 它应该具有以下功能： 允许访问抽象语法树（最好通过case类来轻松匹配） 将String解析为AST 简化表达 如果不存在并且我必须自己写一些基本的东西，那么最好的代表是什么？ 我在想这样的事情： ...

我熟悉sympy，matlab符号包，reduce，并尝试了其他一些计算机代数系统。 但是，据我所知，它们似乎都无法在可变大小的矩阵上做代数-它们只能与固定大小的矩阵一起使用。 对于可变大小的矩阵，有什么可以代数的吗？ 我知道会有很多总情况，但是我觉得有很多事情是可行的，这仅仅是因为人 ...

美好的一天。 我们正在研究Java上的计算机代数框架。 此时它只能以编程方式使用（例如，你需要在java或groovy上编写一些代码才能使用它），但它不是那么用户友好。 设置整个开发环境并使用Java语法来解决一些简单的问题太复杂了。 我们现在正在寻找一种相对简单的方法来为它创建用户 ...

简短版本：我对一些Clojure代码感兴趣，它允许我指定x的变换（例如置换，旋转），在该变换下函数f（x）的值是不变的，这样我就可以有效地生成x的序列满足r = f（x）。 Clojure的计算机代数有一些发展吗？ 对于（一个微不足道的）例子 我可以打电话（preimage f＃{0 ...

我对在某些CAS（奇异，GAP，Sage等）中定义以下多项式商环感兴趣： 具体来说， R是所有度为3的所有多项式的集合，其系数属于GF（256）。 两个示例包括： 加法和乘法定义为每环定律。 在这里，我提到它们是为了强调： 加法：对应的系数经过XOR运算（GF（25 ...