Eike Neumann

32 papers A* 1B 4C 3Journal 22Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
Computably Discrete Represented Spaces.
CiE
Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025 J jnl
Computably discrete represented spaces.
CoRR
Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025 B conf
Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space.
MFCS
Eike Neumann
2025 J jnl
Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space.
CoRR
Eike Neumann
2025 C conf
Represented Spaces of Represented Spaces.
CiE
Johanna Franklin, Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2024 J jnl
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.
Log. Methods Comput. Sci.
Sewon Park, Franz Brauße, Pieter Collins, Sunyoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
2024 J jnl
The equational theory of the Weihrauch lattice with multiplication.
CoRR
Eike Neumann, Arno Pauly, Cécilia Pradic
2023 — conf
On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions.
RP
Eike Neumann
2023 J jnl
On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions.
CoRR
Eike Neumann
2022 B conf
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022 J jnl
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022 C conf
On Envelopes and Backward Approximations.
CiE
Eike Neumann
2022 J jnl
On the computability of the set of automorphisms of the unit square.
Theor. Comput. Sci.
Eike Neumann
2022 J jnl
Uniform Envelopes.
Log. Methods Comput. Sci.
Eike Neumann
2021 A* conf
Decision Problems for Second-Order Holonomic Recurrences.
ICALP
Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
Decision problems for linear recurrences involving arbitrary real numbers.
Log. Methods Comput. Sci.
Eike Neumann
2021 B conf
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
Representations and evaluation strategies for feasibly approximable functions.
Comput.
Michal Konecný, Eike Neumann
2021 J jnl
Uniform Envelopes.
CoRR
Eike Neumann
2020 J jnl
Decision problems for linear recurrences involving arbitrary real numbers.
CoRR
Eike Neumann
2020 B conf
On Ranking Function Synthesis and Termination for Polynomial Programs.
CONCUR
Eike Neumann, Joël Ouaknine, James Worrell
2020 J jnl
Parametrised second-order complexity theory with applications to the study of interval computation.
Theor. Comput. Sci.
Eike Neumann, Florian Steinberg
2019 J jnl
Implementing evaluation strategies for continuous real functions.
CoRR
Michal Konecný, Eike Neumann
2019 — —
Universal envelopes of discontinuous functions.
Eike Neumann
2018 J jnl
A topological view on algebraic computation models.
J. Complex.
Eike Neumann, Arno Pauly
2018 J jnl
Computability in Basic Quantum Mechanics.
Log. Methods Comput. Sci.
Eike Neumann, Martin Pape, Thomas Streicher
2017 J jnl
Parametrised second-order complexity theory with applications to the study of interval computation.
CoRR
Eike Neumann, Florian Steinberg
2017 J jnl
Representations and evaluation strategies for feasibly approximable functions.
CoRR
Michal Konecný, Eike Neumann
2017 J jnl
The Fréchet distance of surfaces is computable.
CoRR
Eike Neumann
2016 J jnl
A topological view on algebraic computation models.
CoRR
Eike Neumann, Arno Pauly
2015 J jnl
Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees.
Log. Methods Comput. Sci.
Eike Neumann