代数路径跟踪的验证数值方法

利用验证数值方法、区间算术和泰勒模型，我们提出了一种经过认证的预测-校正循环，用于跟踪含参数多项式系统的零点。我们提供了一个 Rust 实现，该实现在认证路径跟踪方面相比现有软件显示出巨大的改进。