34 citations · 54 across the 14 of their papers we have counts for
Showing 2017 · cs.CCShow all
2 papers · 2 filters
cs.CC2017
Parametrised second-order complexity theory with applications to the study of interval computation
Eike Neumann, Florian Steinberg
We extend the framework for complexity of operators in analysis devised by Kawamura and Cook (2012) to allow for the treatment of a wider class of representations. The main novelty…
cs.CC2017
Representations and evaluation strategies for feasibly approximable functions
Michal Konečný, Eike Neumann
A famous result due to Ko and Friedman (1982) asserts that the problems of integration and maximisation of a univariate real function are computationally hard in a well-defined sen…