Florian Steinberg

Analytic functions and small complexity classes

Florian Steinberg, Holger Thies, 2016 .

Potentials of prefabrication for self-help and mutual-aid housing in Developing Countries

Florian Steinberg, Melanie Stallen, Yves Chabannes, 1994 .

Computable analysis and notions of continuity in Coq

Florian Steinberg, Holger Thies, Laurent Thery, 2021, Log. Methods Comput. Sci..

Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations

Martin Ziegler, Florian Steinberg, Holger Thies, 2021, CASC.