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.

For the full text, see the German version.

Go to Editor View