TY - GEN
T1 - Validated Numerics for Algebraic Path Tracking
AU - Guillemot, Alexandre
AU - Lairez, Pierre
N1 - Publisher Copyright:
© 2024 Owner/Author.
PY - 2024/7/16
Y1 - 2024/7/16
N2 - 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.
AB - 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.
KW - certified path tracking
KW - numerical algebraic geometry
U2 - 10.1145/3666000.3669673
DO - 10.1145/3666000.3669673
M3 - Conference contribution
AN - SCOPUS:85199523587
T3 - Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
SP - 36
EP - 45
BT - ISSAC 2024 - Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation
A2 - Chen, Shaoshi
PB - Association for Computing Machinery
T2 - 49th International Symposium on Symbolic and Algebraic Computation, ISSAC 2024
Y2 - 16 July 2024 through 19 July 2024
ER -