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
https://portal.mardi4nfdi.de/entity/Q4989411	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
https://portal.mardi4nfdi.de/entity/Q5367060	2017-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5272527	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