34 citations · 54 across the 14 of their papers we have counts for
7 papers · 1 filter
Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space
Eike Neumann
We study the problem of deciding whether a point escapes a closed subset of under the iteration of a continuous map in the b…
The equational theory of the Weihrauch lattice with multiplication
Eike Neumann, Arno Pauly, Cécilia Pradic
We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations …
Uniform Envelopes
Eike Neumann
In the author's PhD thesis (2019) universal envelopes were introduced as a tool for studying the continuously obtainable information on discontinuous functions. To any function $f…
Decision problems for linear recurrences involving arbitrary real numbers
Eike Neumann
We study the decidability of the Skolem Problem, the Positivity Problem, and the Ultimate Positivity Problem for linear recurrences with real number initial values and real number…
Implementing evaluation strategies for continuous real functions
Michal Konečný, Eike Neumann
We give a technical overview of our exact-real implementation of various representations of the space of continuous unary real functions over the unit domain and a family of associ…
Computability in Basic Quantum Mechanics
Eike Neumann, Martin Pape, Thomas Streicher
The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space . In terms of the Hilbert lattice of close…
A topological view on algebraic computation models
Eike Neumann, Arno Pauly
We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and c…