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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Florian Steinberg