Solving hard polynomial systems

Program

All talks will be held in room E1 05 (Leibniz-Saal),
Max Planck Institute for Mathematics in the Sciences (Leipzig, Inselstr. 22).

 
Monday, April 03, 2023
09:00 - 09:30Arrival and Coffee
09:30 - 10:00Welcome
10:00 - 11:00Problem Presentation
11:00 - 11:30Coffee
11:30 - 12:30Giles Gardam (University of Münster)
Using SAT as a tool for hard polynomial systems
12:30 - 13:30Lunch
13:30 - 14:30Elisa Gorla (Université de Neuchâtel)
The complexity of solving hard polynomial systems: invariants and applications
14:30 - 16:30Problem Solving Session
16:30 - 17:00Coffee & Cake
17:00 - 18:00Problem Solving Session
 
Tuesday, April 04, 2023
09:30 - 11:00Problem Solving Session
11:00 - 11:30Coffee
11:30 - 12:30Frank Sottile (Texas A&M University)
Two hard polynomial systems from enumerative geometry
12:30 - 13:30Lunch
13:30 - 16:30Problem Solving Session
16:30 - 17:00Coffee & Cake
17:00 - 18:15Wrap up, Presentation of Results

Date and Location

April 03 - 04, 2023
Max Planck Institute for Mathematics in the Sciences
E1 05 (Leibniz-Saal)
Inselstr. 22
04103 Leipzig

Scientific Organizers

Rafael Mohr
TU Kaiserslautern/Sorbonne Université

Kemal Rose
MPI for Mathematics in the Sciences

Administrative Contact

Mirke Olschewski
MPI for Mathematics in the Sciences
07.04.2023, 01:27