2 papers
cs.CG2026
Computing braids from approximate data
Alexandre Guillemot, Pierre Lairez
We study the theoretical and practical aspects of computing braids described by approximate descriptions of paths in the plane. Exact algorithms rely on the lexicographic ordering…
math.NA2024
Validated numerics for algebraic path tracking
Alexandre Guillemot, Pierre Lairez
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.…