Algebraic and geometric methods in solving polynomial systems of equations KU Leuven
Polynomial systems of equations arise in many different areas of mathematics and engineering. For example, they mathematically model several problems in formal verifications. The main goal of this PhD project is to exploit combinatorial and geometric structures in such polynomial systems and use them to find efficient algorithms to solve them. We will use techniques from real algebraic geometry, parameterized complexity theory and graph ...