Research report 2023 - Max Planck Institute for Software Systems, Saarbrücken site
Finding zeros of linear differential equations: an open algorithmic problem in calculus
Authors
Ouaknine, Joël
Departments
Max-Planck-Institut für Softwaresysteme, Standort Saarbrücken, Saarbrücken
Summary
We introduce the algorithmic problem of determining whether the solution to a given linear differential equation has a zero or not (the Zero Problem). Somewhat surprisingly, this is a longstanding open problem, with deep connections to several other areas of mathematics. We report on some of our recent progress in this area.