Eike Neumann

According to our database, Eike Neumann authored at least 19 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler

Log. Methods Comput. Sci., 2024

The equational theory of the Weihrauch lattice with multiplication.

Eike Neumann, Arno Pauly, Cécilia Pradic

CoRR, 2024

2023

On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions.

Eike Neumann

Proceedings of the Reachability Problems - 17th International Conference, 2023

2022

On the computability of the set of automorphisms of the unit square.

Eike Neumann

Theor. Comput. Sci., 2022

Uniform Envelopes.

Eike Neumann

Log. Methods Comput. Sci., 2022

Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.

Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

On Envelopes and Backward Approximations.

Eike Neumann

Proceedings of the Revolutions and Revelations in Computability, 2022

2021

Decision problems for linear recurrences involving arbitrary real numbers.

Eike Neumann

Log. Methods Comput. Sci., 2021

Representations and evaluation strategies for feasibly approximable functions.

Michal Konecný, Eike Neumann

Comput., 2021

On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.

Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Decision Problems for Second-Order Holonomic Recurrences.

Eike Neumann, Joël Ouaknine, James Worrell

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Parametrised second-order complexity theory with applications to the study of interval computation.

Eike Neumann, Florian Steinberg

Theor. Comput. Sci., 2020

On Ranking Function Synthesis and Termination for Polynomial Programs.

Eike Neumann, Joël Ouaknine, James Worrell

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Universal envelopes of discontinuous functions.

Eike Neumann

PhD thesis, 2019

Implementing evaluation strategies for continuous real functions.

Michal Konecný, Eike Neumann

CoRR, 2019

2018

Computability in Basic Quantum Mechanics.

Eike Neumann, Martin Pape, Thomas Streicher

Log. Methods Comput. Sci., 2018

A topological view on algebraic computation models.

Eike Neumann, Arno Pauly

J. Complex., 2018

2017

The Fréchet distance of surfaces is computable.

Eike Neumann

CoRR, 2017

2015

Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees.

Eike Neumann

Log. Methods Comput. Sci., 2015