Solving discontinuous initial value problems with unique solutions is equivalent to computing over the transfinite
O Bournez, R Gozzi - 41st International Symposium on …, 2024 - drops.dagstuhl.de
We study a precise class of dynamical systems that we call solvable ordinary differential
equations. We prove that analog systems mathematically ruled by solvable ordinary …
equations. We prove that analog systems mathematically ruled by solvable ordinary …
Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
O Bournez, R Gozzi - arXiv preprint arXiv:2405.00165, 2024 - arxiv.org
We study initial value problems having dynamics ruled by discontinuous ordinary differential
equations with the property of possessing a unique solution. We identify a precise class of …
equations with the property of possessing a unique solution. We identify a precise class of …
Programming with ordinary differential equations: Some first steps towards a programming language
O Bournez - Conference on Computability in Europe, 2022 - Springer
Various open problems have been recently solved using Ordinary Differential Equation
(ODE) programming: basically, ODEs are used to implement various algorithms, including …
(ODE) programming: basically, ODEs are used to implement various algorithms, including …
Set Descriptive Complexity of Solvable Functions
R Gozzi, O Bournez - arXiv preprint arXiv:2405.19304, 2024 - arxiv.org
In a recent article, we introduced and studied a precise class of dynamical systems called
solvable systems. These systems present a dynamic ruled by discontinuous ordinary …
solvable systems. These systems present a dynamic ruled by discontinuous ordinary …