research
∙
07/01/2023
On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions
We study the computational complexity of a robust version of the problem...
share
research
∙
07/04/2022
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set
We study the Escape Problem for discrete-time linear dynamical systems o...
research
∙
07/05/2021
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets
We study the computational complexity of the Escape Problem for discrete...
research
∙
03/30/2021
Uniform Envelopes
In the author's PhD thesis (2019) universal envelopes were introduced as...
research
∙
08/02/2020
Decision problems for linear recurrences involving arbitrary real numbers
We study the decidability of the Skolem Problem, the Positivity Problem,...
research
∙
10/10/2019
Implementing evaluation strategies for continuous real functions
We give a technical overview of our exact-real implementation of various...
research
∙
11/28/2017
Parametrised second-order complexity theory with applications to the study of interval computation
We extend the framework for complexity of operators in analysis devised ...
research
∙
11/06/2017
On the computability of the Fréchet distance of surfaces in the bit-model of real computation
We show that the Fréchet distance of two-dimensional parametrised surfac...
research
∙
11/06/2017
The Fréchet distance of surfaces is computable
We show that the Fréchet distance of two-dimensional parametrised surfac...
research
∙
10/10/2017