我有兴趣找到类型函数的最小化$\sum x^ay^bz^c$其中指数为 1、0 或 -1。当它们存在到机器精度时，我有代码可以使用标准优化思想找到这样的最小化器。

鉴于概率论中的一些应用，人们并不满足于“精确的结果”，而更喜欢精确的结果。我知道上面的问题就是所谓的“几何规划问题”，并且有特定的算法可以找到最小值。但是，我尝试过的 Matlab 版本仍然给出了非常精确但近似的结果。

是否可以为此类几何编程算法构建符号版本？你知道这方面的作品吗？

我最终最终使用了 Matlab 符号工具箱。事实证明，对于我想到的应用程序，一旦我消除了明显的根（经过一些检查后等于 1），工具箱就能够解出我感兴趣的所有方程。