Kisun Lee
I am a postdoc at Clemson University.
My research interest is in computational algebraic geometry.
Session
08-12
10:45
15min
Certified homotopy and monodromy computation in Julia
Kisun Lee
We present CertifiedHomotopyTracking.jl, a Julia package for certified homotopy tracking. Homotopy path tracking has been used as an effective method across diverse fields, but its outputs are not certified. Our package ensures correctness using interval arithmetic (via Nemo.jl). The package uses Symbolics.jl to construct systems via SLPs. Based on this, it automates monodromy group analysis through GAP integration. Finally, we discuss interaction with HomotopyContinuation.jl and Pandora.jl.
Symbolic and Numerical Methods in (Nonlinear) Algebra
Room 6