论文利用正则多项式系统的定量几何估计，将原始几何检验问题转化为一个有限维、结构明确的辅助优化问题。