Holger Thies

19 papers B 7C 4Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
Computing Solutions for Systems of Multivariate Ordinary Differential Equations in Rocq.
CPP
Holger Thies
2025 C conf
Computable Analysis for Extraction of Certified Programs and Its Applications.
CiE
Holger Thies
2025 J jnl
Extracting efficient exact real number computation from proofs in constructive type theory.
J. Log. Comput.
Michal Konecný, Sewon Park, Holger Thies
2024 B conf
A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations.
ITP
Sewon Park, Holger Thies
2024 J jnl
Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers.
CoRR
Michal Konecný, Sewon Park, Holger Thies
2023 B conf
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation.
MFCS
Michal Konecný, Sewon Park, Holger Thies
2022 — conf
Certified Computation of Nondeterministic Limits.
NFM
Michal Konecný, Sewon Park, Holger Thies
2022 J jnl
Extracting efficient exact real number computation from proofs in constructive type theory.
CoRR
Michal Konecný, Sewon Park, Holger Thies
2021 C conf
Axiomatic Reals and Certified Efficient Exact Real Computation.
WoLLIC
Michal Konecný, Sewon Park, Holger Thies
2021 J jnl
Computable analysis and notions of continuity in Coq.
Log. Methods Comput. Sci.
Florian Steinberg, Laurent Théry, Holger Thies
2021 B conf
Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations.
CASC
Svetlana Selivanova, Florian Steinberg, Holger Thies, Martin Ziegler
2020 — conf
Computable Analysis for Verified Exact Real Computation.
FSTTCS
Michal Konecný, Florian Steinberg, Holger Thies
2020 B conf
Continuous and Monotone Machines.
MFCS
Michal Konecný, Florian Steinberg, Holger Thies
2020 J jnl
Continuous and monotone machines.
CoRR
Michal Konecný, Florian Steinberg, Holger Thies
2019 B conf
Quantitative Continuity and Computable Analysis in Coq.
ITP
Florian Steinberg, Laurent Théry, Holger Thies
2019 J jnl
Quantitative continuity and computable analysis in Coq.
CoRR
Florian Steinberg, Laurent Théry, Holger Thies
2019 C conf
Second-Order Linear-Time Computability with Applications to Computable Analysis.
TAMC
Akitoshi Kawamura, Florian Steinberg, Holger Thies
2018 B conf
Average-Case Polynomial-Time Computability of Hamiltonian Dynamics.
MFCS
Akitoshi Kawamura, Holger Thies, Martin Ziegler
2018 C conf
Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving.
WoLLIC
Akitoshi Kawamura, Florian Steinberg, Holger Thies