3
Gröbner基和多项式系统解决方案的基准
在最近的具有7个非线性代数方程式的问题求解系统中，布莱恩·鲍彻斯（Brian Borchers）实验性地证明，枫树可以求解Matlab / Mupad无法处理的多项式系统。过去，我从该领域的工作人员那里听说，枫树具有Gröbner基和相关算法的高质量实现（我认为这里正在使用）。 因此，我很想建议“ Matlab在此类问题上进展缓慢，请切换到Maple”，但我希望有数据来支持该声明。 是否存在一组基准测试结果，用于比较不同计算机代数系统中Gröbner基实现和多项式系统解决方案的速度和有效性？（Maple，Mathematica，Matlab的符号工具箱等）。