求解代数问题的算法？

Question

是否有算法来解决非平凡的代数问题，例如简化以下表达式：

2x^3 - 3x^2 + 3x - 4
--------------------
         x-2

解决方案是2x ^ 2 + x + 5 + 6 /（x-2）。

还有算法用于因子分解和其他面向代数的数学吗？

由于

Answer 1

对于您给出的示例，只需对多项式进行简单划分即可。您可以从以下网址获取更多信息：

http://en.wikipedia.org/wiki/Polynomial_long_division

Answer 2

斯蒂芬沃尔夫勒姆在他的Mathematica工作。还有其他符号数学程序，例如Maxima：

http://www.arachnoid.com/maxima/

Answer 3

有一种叫做霍纳计划的东西 - http://en.wikipedia.org/wiki/Horner_scheme

这是你的想法吗？

Answer 4

答案是肯定的，肯定有算法来解决这些问题。

看看SymPy。 SymPy是一个用纯Python编写的开源计算机代数库。它包含许多这些算法，代码可在github上访问。作者试图强调这种情况的清晰度。