research
∙
07/21/2023
Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
We prove that functions over the reals computable in polynomial time can...
share
research
∙
01/30/2023
Measuring robustness of dynamical systems. Relating time and space to length and precision
Verification of discrete time or continuous time dynamical systems over ...
research
∙
09/27/2022
A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations
In a recent article, the class of functions from the integers to the int...
research
∙
09/27/2022
Polynomial time computable functions over the reals characterized using discrete ordinary differential equations
The class of functions from the integers to the integers computable in p...
research
∙
03/14/2022