TY - RPRT TI - Validated numerics for algebraic path tracking AU - Alexandre Guillemot AU - Pierre Lairez PY - 2024 DO - 10.1145/3666000.3669673 UR - https://arxiv.org/abs/2401.17973 ID - 2401.17973 ER -