03/04/2023 04/04/2023

Solving hard polynomial systems

Solving systems of polynomial equations is a challenging and ubiquitous problem in pure and applied mathematics. Algorithmic techniques for solving polynomial systems have been successfully employed to tackle problems from diverse areas such as biology, physics, and robotics. State-of-the-art algorithms are based on symbolic techniques, such as Gröbner bases, numerical methods, such as homotopy continuation, or use a mixed approach. This workshop has the aim to give hands on experience in applying these techniques and methods to explicit problems. Concretely, participants will spend the majority of the time at the workshop working in groups on specific questions to which techniques in polynomial system solving can be applied. These questions will be supplied by dedicated group leaders at the beginning of the workshop.

For some of the problem solving sessions it might be useful to have installed the newest version of the programming language Julia beforehand. It can be found at the official webpage:



Giles Gardam

University of Münster Homepage

Elisa Gorla

Université de Neuchâtel Homepage

Frank Sottile

Texas A&M University Homepage


Apr 3, 2023
09:00 - 09:30
09:30 - 10:00
10:00 - 11:00
11:00 - 11:30
11:30 - 12:30 Giles Gardam (University of Münster)
Using SAT as a tool for hard polynomial systems
12:30 - 13:30
13:30 - 14:30 Elisa Gorla (Université de Neuchâtel)
The complexity of solving hard polynomial systems: invariants and applications
14:30 - 16:30
16:30 - 17:00
17:00 - 18:00
Apr 4, 2023
09:30 - 11:00
11:00 - 11:30
11:30 - 12:30 Frank Sottile (Texas A&M University)
Two hard polynomial systems from enumerative geometry
12:30 - 13:30
13:30 - 16:30
16:30 - 17:00
17:00 - 18:15


Rida Ait El Manssour

Erdenebayar Bayarmagnai

Zaineb Bel-Afia

Barbara Betti

Viktoriia Borovik

Paul Breiding

Joan Claramunt

Nicholas Early

Sarah Eggleston

Sebastian Falkensteiner

Giulia Gaggero

Giles Gardam

Alheydis Geiger

Elisa Gorla

Benjamin Hollering

Riccardo Invernizzi

Leo Kayser

Viktor Korotynskiy

Rafael Mohr

Johannes Müller

Marta Panizzut

Dmitrii Pavlov

Raul Penaguiao

Bernhard Reinke

Yue Ren

Kemal Rose

Georgy Scholten

Javier Sendra-Arranz

Elima Shehu

Frank Sottile

Bernd Sturmfels

Sascha Stüttgen

Simon Telen

Maximilian Wiesmann

Daniel Windisch

Claudia Yun

Scientific Organizers

Rafael Mohr

TU Kaiserslautern/Sorbonne Université

Kemal Rose

Max Planck Institute for Mathematics in the Sciences

Administrative Contact

Mirke Olschewski

Max Planck Institute for Mathematics in the Sciences Contact via Mail