Holger Thies

According to our database, Holger Thies authored at least 15 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

cAERN library.

Michal Konecný, Sewon Park, Holger Thies

Dataset, November, 2024

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers.

Michal Konecný, Sewon Park, Holger Thies

CoRR, 2024

A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations.

Sewon Park, Holger Thies

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Formalizing Hyperspaces for Extracting Efficient Exact Real Computation.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Extracting efficient exact real number computation from proofs in constructive type theory.

Michal Konecný, Sewon Park, Holger Thies

CoRR, 2022

Certified Computation of Nondeterministic Limits.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Computable analysis and notions of continuity in Coq.

Florian Steinberg, Laurent Théry, Holger Thies

Log. Methods Comput. Sci., 2021

Axiomatic Reals and Certified Efficient Exact Real Computation.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the Logic, Language, Information, and Computation, 2021

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

Svetlana Selivanova, Florian Steinberg, Holger Thies, Martin Ziegler

Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021

2020

Continuous and Monotone Machines.

Michal Konecný, Florian Steinberg, Holger Thies

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Computable Analysis for Verified Exact Real Computation.

Michal Konecný, Florian Steinberg, Holger Thies

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Second-Order Linear-Time Computability with Applications to Computable Analysis.

Akitoshi Kawamura, Florian Steinberg, Holger Thies

Proceedings of the Theory and Applications of Models of Computation, 2019

Quantitative Continuity and Computable Analysis in Coq.

Florian Steinberg, Laurent Théry, Holger Thies

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving.

Akitoshi Kawamura, Florian Steinberg, Holger Thies

Proceedings of the Logic, Language, Information, and Computation, 2018

Average-Case Polynomial-Time Computability of Hamiltonian Dynamics.

Akitoshi Kawamura, Holger Thies, Martin Ziegler

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018