About me

I am a PhD student in the team Mathexp. My thesis is supervised by Pierre lairez. I mainly focus on computer algebra, effective algebraic geometry and topology.

Research

Preprints

1. Alexandre Guillemot and Pierre Lairez. Validated numerics for algebraic path tracking. arXiv:2401.17973 [cs, math]. Jan. 2024.
   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.

Talks

1. Journées Nationales de Calcul Formel, CIRM, March 2024. [slides]

Teaching

1. MAA101 - Linear Algebra (teaching assistant), École polytechnique, fall 2023.