Validated numerics for algebraic path tracking
Numerical Analysis
2024-06-13 v2 Numerical Analysis
Symbolic Computation
Abstract
Using validated numerical methods, interval arithmetic and Taylor models, we propose a certified predictor-corrector loop for tracking zeros of polynomial systems with a parameter. We provide a Rust implementation which shows tremendous improvement over existing software for certified path tracking.
Cite
@article{arxiv.2401.17973,
title = {Validated numerics for algebraic path tracking},
author = {Alexandre Guillemot and Pierre Lairez},
journal= {arXiv preprint arXiv:2401.17973},
year = {2024}
}
Comments
final version