Special Session 162 Computer-Assisted Proofs in Dynamical Systems
Organizer(s): Akitoshi , Jonathan 		Room 618
 16:30-17:00  Florent BREHARD (CRIStAL, CNRS, Universite de Lille, France)
 Validated Numerics Guided by Symbolic Computations: A Hybrid Newton-Puiseux Algorithm