Eike Neumann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logical Methods in Computer Science	2024-06-27	Paper
scientific article; zbMATH DE number 7724206 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
On envelopes and backward approximations	2022-12-07	Paper
scientific article; zbMATH DE number 7577572 (Why is no real title available?) (available as arXiv preprint)	2022-08-30	Paper
scientific article; zbMATH DE number 7577572 (Why is no real title available?)	2022-08-30	Paper
scientific article; zbMATH DE number 7559471 (Why is no real title available?)	2022-07-18	Paper
On the computability of the set of automorphisms of the unit square Theoretical Computer Science	2022-02-01	Paper
scientific article; zbMATH DE number 7407788 (Why is no real title available?) (available as arXiv preprint)	2021-10-08	Paper
scientific article; zbMATH DE number 7407788 (Why is no real title available?)	2021-10-08	Paper
Representations and evaluation strategies for feasibly approximable functions Computability	2021-06-25	Paper
Uniform Envelopes (available as arXiv preprint)	2021-03-30	Paper
Parametrised second-order complexity theory with applications to the study of interval computation Theoretical Computer Science	2020-01-16	Paper
Parametrised second-order complexity theory with applications to the study of interval computation Theoretical Computer Science	2020-01-16	Paper
scientific article; zbMATH DE number 6917933 (Why is no real title available?) (available as arXiv preprint)	2018-08-15	Paper
A topological view on algebraic computation models Journal of Complexity	2017-11-21	Paper
A topological view on algebraic computation models Journal of Complexity	2017-11-21	Paper
Computational problems in metric fixed point theory and their Weihrauch degrees Logical Methods in Computer Science	2016-01-07	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation (available as arXiv preprint)	N/A	Paper
The equational theory of the Weihrauch lattice with multiplication (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Eike Neumann