2 results
Akitoshi Kawamura ; Hiroyuki Ota ; Carsten Rösnick ; Martin Ziegler.
The computational complexity of the solutions $h$ to the ordinary differential equation $h(0)=0$, $h'(t) = g(t, h(t))$ under various assumptions on the function $g$ has been investigated. Kawamura showed in 2010 that the solution $h$ can be PSPACE-hard even if $g$ is assumed to be Lipschitz […]
Published on February 11, 2014
Carsten Rösnick-Neugebauer.
The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce. A rich variety of such representations had been devised over the past decades, […]
Published on April 10, 2018