以代数方式处理方程式的编程语言

Programming language for manipulating equations algebraically

我可以学习什么好的编程语言来编写自己的 algorithms/scripts 来处理方程式?例如,我想 运行 an equation that looks like this 上的以下脚本:

我知道我可以只使用 WolframAlpha.com 或 WolframLanguage,但我认为在不使用网站的情况下从头开始解决问题很有趣。

  1. 在 LHS 上分离出一个平方根项。
  2. 对等式两边求平方。
  3. 相应地添加和减去项以获得 LHS 上的 0。
  4. 在 LHS 上分离出另一个平方根项。 [即步骤 1)]
  5. 重复步骤 2)。
  6. 重复步骤 3)。
  7. 重复步骤 1)。

等等。 . .

注意,我已经尝试了 Python,但遗憾的是它不是最好的,因为我不能对多项式求平方根(至少使用 numpy 库)和其他各种并发症变量等等...

您要找的是计算机科学的一个分支 symbolic computation (a.k.a computer algebra)。我在 LISP、Mupad、Mathematica 等中看到过有关此主题的书籍。以下是一些参考资料: