用于法锥计算的量词消去法

我们提出了利用量词消去法计算正则法锥及其他相关对象的有效程序。这种法锥计算方法是对计算拉格朗日量的补充，它在约束规范失效且其他方法不可避免地需要额外工作的点上效果最佳。该方法也可作为计算半光滑*牛顿法中正则余导数的工具。我们列出了针对此方法不同用例的算法及其演示。