Holger Thies

Holger Thies

Kyoto University - Kyoto / Japan
Others
AD Scientific Index ID: 4769168
京都大学
person_outline Holger Thies's MOST POPULAR ARTICLES
1-) Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solvingA Kawamura, F Steinberg, H ThiesInternational Workshop on Logic, Language, Information, and Computation, 223-236, 2018182018
2-) Average-case polynomial-time computability of Hamiltonian dynamicsA Kawamura, H Thies, M Ziegler43rd International Symposium on Mathematical Foundations of Computer Science …, 2018132018
3-) Computable analysis and notions of continuity in CoqF Steinberg, L Thery, H ThiesLogical Methods in Computer Science 17, 202172021
4-) Axiomatic reals and certified efficient exact real computationM Konečný, S Park, H ThiesLogic, Language, Information, and Computation: 27th International Workshop …, 2021102021
5-) Exact real computation of solution operators for linear analytic systems of partial differential equationsS Selivanova, F Steinberg, H Thies, M ZieglerComputer Algebra in Scientific Computing: 23rd International Workshop, CASC …, 202192021