求解相关方程的算法

Question

我正在开展一个创建通用方程求解器的项目...设想它采用 25-30 个方程的形式，这些方程将与运算符一起保存在一个表中 - 变量名称。

然后我会调用此表来求解任何缺少变量的方程，并将运算符/其他部分移动到缺少变量的另一侧

例如2x+ 3y=z 如果 x 缺少变量。我会用 y 和 z 的值调用方程，它会转换为求解 x=(z-3y)/2

方程可以是线性的、多项式的、二进制的（是/否结果）...

我不确定是否可以获得任何可用的轻量级库，或者是否需要从头开始构建...任何指针或指导将不胜感激

Answer 1

见Maxima。

我更喜欢它来满足我的符号计算需求。

Answer 2

如果这种通用的黑盒算法能够准确、稳健和稳定，猪就可以飞了。解决方案可以是不存在的、多重的、参数化的等。

即使是线性方程也很难正确处理。

你最好的选择是某种形式的牛顿算法，但通常你会根据你手头的问题来定制它。

编辑：我没有看到你想要一些象征性的东西，而不是数字。又是一袋虫子。