Christina Katsamaki
Currently a research engineer at Inria Paris developing symbolic computation software. I hold a PhD in Mathematics from Sorbonne Université (Paris 6).
Session
10-03
10:20
10min
PACE.jl: Certified Solving of Polynomial Systems for Engineering Applications
Christina Katsamaki
PACE.jl is a Julia package designed to address challenging problems in control theory and robotics through certified polynomial system solving. By combining symbolic elimination techniques with multi-precision interval computations, PACE.jl provides robust, certified solutions and an efficient alternative to traditional numerical methods. This talk will demonstrate its usage and performance through classic examples from control theory and robotics, while remaining accessible to anyone interested in certified polynomial system solving.
Optimization
Robert Faure Amphitheater