本文综述了多项式方程组求解在计算机视觉几何估计中的进展，主要包括：提出动作矩阵与单项式基选择求解器并结合RANSAC；实现Gröbner基随机生成与反向问题，数据生成速度提升五个数量级；给出全数值近似消失理想算法及数值完整基构建；自动生成Laurent多项式求解器；利用稀疏resultant提升效率与稳定性；系统生成最小解算器求解相机姿态；提出逆算法构造Gröbner基；并比较平方和松弛优化及机器学习求解PDE与参数化线性系统等方法。