Rosen梯度投影法整体收敛性分析

本工具是一款高效的 Rosen梯度投影法整体收敛性分析器， 专为解决非线性规划问题中的收敛性难题设计。支持 线性约束 非线性约束 凸优化 等场景。 通过智能算法验证 Zoutendijk条件 及正则性假设， 快速生成严谨的 收敛性证明步骤。