Holger Thies

From MaRDI portal
Person:831999

Available identifiers

zbMath Open thies.holgerMaRDI QIDQ831999

List of research outcomes





PublicationDate of PublicationType
Formalizing hyperspaces for extracting efficient exact real computation2024-12-03Paper
Quantitative continuity and Computable Analysis in Coq2023-02-03Paper
Continuous and monotone machines2022-07-18Paper
Axiomatic reals and certified efficient exact real computation2022-06-24Paper
Exact real computation of solution operators for linear analytic systems of partial differential equations2022-03-24Paper
Average-case polynomial-time computability of hamiltonian dynamics2021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q49894112021-05-25Paper
Second-order linear-time computability with applications to computable analysis2019-10-15Paper
Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving2018-10-18Paper

Research outcomes over time

This page was built for person: Holger Thies

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:831999&oldid=7042305"
Powered by MediaWiki