首次总结提出一套共14道低维但高难度非线性方程组案例题集,从效果与效率两方面对比测试了国内外目前认可度很高的5款优秀全局优化求解器Baron、Antigone、Couenne、Lingo和1stOpt,给出这5款求解器在非线性方程组全局优化求解能力方面的综合表现及排名,探讨了非线性方程组求解过程中“除法陷阱”和“冗余项影响”问题及解决方法,确定性优化算法的优缺点以及全局最优化求解器研发者的“卡耐基梅隆”及“跨行业”现象。