Holger Thies

MaRDI QIDQ831999zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computable analysis for verified exact real computation	2026-03-23	Paper
A Coq formalization of Taylor models and power series for solving ordinary differential equations	2026-02-10	Paper
Algorithmic Cost in ''Exact Real Computation'' (available as arXiv preprint)	2026-01-01	Paper
Computable analysis for extraction of certified programs and its applications	2025-11-19	Paper
Extracting efficient exact real number computation from proofs in constructive type theory Journal of Logic and Computation	2025-09-30	Paper
Formalizing hyperspaces for extracting efficient exact real computation	2024-12-03	Paper
Quantitative continuity and Computable Analysis in Coq	2023-02-03	Paper
Continuous and monotone machines (available as arXiv preprint)	2022-07-18	Paper
Axiomatic reals and certified efficient exact real computation	2022-06-24	Paper
Exact real computation of solution operators for linear analytic systems of partial differential equations	2022-03-24	Paper
Average-case polynomial-time computability of Hamiltonian dynamics	2021-08-04	Paper
Computable analysis and notions of continuity in \textsc{Coq} (available as arXiv preprint)	2021-05-25	Paper
Computable analysis and notions of continuity in \textsc{Coq}	2021-05-25	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

Research outcomes over time

This page was built for person: Holger Thies