Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Holger Thies"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 2 (2021)
We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the sense of
Externí odkaz:
https://doaj.org/article/1e7db36ec65b4a80a7b804a0722e9e00
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031067723
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::271a1d9ed0b64517a852acb43f29de77
https://doi.org/10.1007/978-3-031-06773-0_41
https://doi.org/10.1007/978-3-031-06773-0_41
Publikováno v:
Logic, Language, Information, and Computation ISBN: 9783030888527
WoLLIC
WoLLIC
We introduce a new axiomatization of the constructive real numbers in a dependent type theory. Our main motivation is to provide a sound and simple to use backend for verifying algorithms for exact real number computation and the extraction of effici
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac24948cbc8de558a8b3ad863cdddc5d
https://doi.org/10.1007/978-3-030-88853-4_16
https://doi.org/10.1007/978-3-030-88853-4_16
Publikováno v:
Computer Algebra in Scientific Computing ISBN: 9783030851644
CASC
CASC
We devise and analyze the bit-cost of solvers for linear evolutionary systems of Partial Differential Equations (PDEs) with given analytic initial conditions. Our algorithms are rigorous in that they produce approximations to the solution up to guara
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca8f23f9f2008279ce8c378c069912f6
https://doi.org/10.1007/978-3-030-85165-1_21
https://doi.org/10.1007/978-3-030-85165-1_21
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030148119
TAMC
TAMC 2019-15th Annual Conference Theory and Applications of Models of Computation
TAMC 2019-15th Annual Conference Theory and Applications of Models of Computation, Apr 2019, Tokyo, Japan. pp.337-358
TAMC
TAMC 2019-15th Annual Conference Theory and Applications of Models of Computation
TAMC 2019-15th Annual Conference Theory and Applications of Models of Computation, Apr 2019, Tokyo, Japan. pp.337-358
In this work we put forward a complexity class of type-two linear-time. For such a definition to be meaningful, a detailed protocol for the cost of interactions with functional inputs has to be fixed. This includes some design decisions the defined c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13cbe031622818ea8995621a92196922
https://doi.org/10.1007/978-3-030-14812-6_21
https://doi.org/10.1007/978-3-030-14812-6_21
Publikováno v:
WoLLIC 2018: Logic, Language, Information, and Computation
Wollic 2018-International Workshop on Logic, Language, Information, and Computation
Wollic 2018-International Workshop on Logic, Language, Information, and Computation, Jul 2018, Bogota, Colombia. pp.223-236, ⟨10.1007/978-3-662-57669-4_13⟩
Logic, Language, Information, and Computation ISBN: 9783662576687
WoLLIC
Wollic 2018-International Workshop on Logic, Language, Information, and Computation
Wollic 2018-International Workshop on Logic, Language, Information, and Computation, Jul 2018, Bogota, Colombia. pp.223-236, ⟨10.1007/978-3-662-57669-4_13⟩
Logic, Language, Information, and Computation ISBN: 9783662576687
WoLLIC
Real complexity theory is a resource-bounded refinement of computable analysis and provides a realistic notion of running time of computations over real numbers, sequences, and functions by relying on Turing machines to handle approximations of arbit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13e040cecc5d0ea283c9b2645328402c
https://inria.hal.science/hal-02019142
https://inria.hal.science/hal-02019142
Autor:
PARK, SEWON, BRAUSSE, FRANZ, COLLINS, PIETER, KIM, SUNYOUNG, KONEČNÝ, MICHAL, LEE, GYESIK, MÜLLER, NORBERT, NEUMANN, EIKE, PREINING, NORBERT, ZIEGLER, MARTIN
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-55, 55p
Publikováno v:
Elster GmbH MarketLine Company Profile. 11/2/2016, p1-9. 10p.
Autor:
Moss, Lawrence (AUTHOR), Martinez, Maricarmen (AUTHOR), Caicedo, Xavier (AUTHOR), Queiroz, Ruy de (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Oct2019, Vol. 27 Issue 5, p766-776. 11p.
Publikováno v:
Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 2, p1-43, 43p