Eike Neumann

Available identifiers

Publication	Date of Publication	Type
On the complexity of robust eventual inequality testing for C-finite functions	2024-10-23	Paper
Bounding the escape time of a linear dynamical system over a compact semialgebraic set	2024-08-06	Paper
Semantics, specification logic, and Hoare logic of exact real computation	2024-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q6168447	2023-08-08	Paper
On envelopes and backward approximations	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5101341	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5089280	2022-07-18	Paper
On the computability of the set of automorphisms of the unit square	2022-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q5155677	2021-10-08	Paper
Representations and evaluation strategies for feasibly approximable functions	2021-06-25	Paper
Uniform Envelopes	2021-03-30	Paper
Parametrised second-order complexity theory with applications to the study of interval computation	2020-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4580318	2018-08-15	Paper
A topological view on algebraic computation models	2017-11-21	Paper
Computational problems in metric fixed point theory and their Weihrauch degrees	2016-01-07	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation	N/A	Paper
The equational theory of the Weihrauch lattice with multiplication	N/A	Paper

This page was built for person: Eike Neumann