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.

[BibT_eX]

[DOI]

CoRR, 2022

Certified Computation of Nondeterministic Limits.

[BibT_eX]

[DOI]

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

2021

Computable analysis and notions of continuity in Coq.

[BibT_eX]

[DOI]

Laurent Théry

Log. Methods Comput. Sci., 2021

Axiomatic Reals and Certified Efficient Exact Real Computation.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2020

Continuous and Monotone Machines.

[BibT_eX]

[DOI]

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

Computable Analysis for Verified Exact Real Computation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Akitoshi Kawamura

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

Quantitative Continuity and Computable Analysis in Coq.

[BibT_eX]

[DOI]

Laurent Théry

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

2018

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

[BibT_eX]

[DOI]

Akitoshi Kawamura

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

Average-Case Polynomial-Time Computability of Hamiltonian Dynamics.

[BibT_eX]

[DOI]

Akitoshi Kawamura