Florian Steinberg

Available identifiers

zbMath Open steinberg.florianMaRDI QIDQ831998

List of research outcomes

Publication	Date of Publication	Type
Quantitative continuity and Computable Analysis in Coq	2023-02-03	Paper
Continuous and monotone machines	2022-07-18	Paper
Exact real computation of solution operators for linear analytic systems of partial differential equations	2022-03-24	Paper
Computable analysis and notions of continuity in \textsc{Coq}	2021-05-25	Paper
Type-two polynomial-time and restricted lookahead	2021-01-20	Paper
Bounded time computation on metric spaces and Banach spaces	2021-01-19	Paper
Polynomial Running Times for Polynomial-Time Oracle Machines	2020-05-26	Paper
Type-two polynomial-time and restricted lookahead	2020-04-21	Paper
Parametrised second-order complexity theory with applications to the study of interval computation	2020-01-16	Paper
Second-order linear-time computability with applications to computable analysis	2019-10-15	Paper
Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving	2018-10-18	Paper
Comparing representations for function spaces in computable analysis	2018-06-01	Paper
Complexity theory of (functions on) compact metric spaces	2018-04-23	Paper
On the computational complexity of the Dirichlet problem for Poisson's equation	2017-11-22	Paper
Complexity theory for spaces of integrable functions	2017-10-12	Paper
Computational complexity theory for advanced function spaces in analysis	2017-06-30	Paper
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis	2016-08-17	Paper
Representations of analytic functions and Weihrauch degrees	2016-07-25	Paper
Average-case bit-complexity theory of real functions	2016-05-25	Paper

Research outcomes over time

This page was built for person: Florian Steinberg