裸机计算机代数系统？
Bare-metal computer algebra system?

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

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

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

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

IHello！ 我目前正在尝试在ocaml中编程一个程序，以绘制由用户编写的函数。 为此，我要解析输入，然后将输入转换为数据结构。 我目前正在尝试创建ocaml函数，以最大程度地简化此输入。 例如，x * x-x * x将简化为0 这是我的解析器： 这是我的词法分析

关闭。 此问题不符合Stack Overflow 准则。 它目前不接受答案。

关闭。 这个问题是基于意见的。 它目前不接受答案。 想改善

网上有很多代数求解器和简化器（例如，algebra.com上的正确代数）。 但是，我正在寻找一些可以插入C＃的东西，作为一个更大的项目的一部分（我正在制作我自己的计算器，但显然我会请求许可等）。 理想情况下，我使用的代码如下： 并且's'将简化为： "1082.532/x+5*x