Zobrazeno 1 - 10
of 81
pro vyhledávání: '"Lampert, Timm"'
The coefficients of the regular continued fraction for random numbers are distributed by the Gauss-Kuzmin distribution according to Khinchin's law. Their geometric mean converges to Khinchin's constant and their rational approximation speed is Khinch
Externí odkaz:
http://arxiv.org/abs/2208.14359
Enrico Bombieri proved that the ABC Conjecture implies Roth's theorem in 1994. This paper concerns the other direction. In making use of Bombieri's and Van der Poorten's explicit formula for the coefficients of the regular continued fractions of alge
Externí odkaz:
http://arxiv.org/abs/2208.14354
Autor:
Lampert, Timm
This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain $\vee$ within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to pr
Externí odkaz:
http://arxiv.org/abs/1709.00191
Autor:
Lampert, Timm, Hampe, Michael
Publikováno v:
Journal for General Philosophy of Science / Zeitschrift für allgemeine Wissenschaftstheorie, 2018 Dec 01. 49(4), 499-501.
Externí odkaz:
https://www.jstor.org/stable/45204062
Autor:
Lampert, Timm
Publikováno v:
Zeitschrift für philosophische Forschung, 2017 Jan 01. 71(1), 117-122.
Externí odkaz:
https://www.jstor.org/stable/44647412
Autor:
LAMPERT, Timm1 lampertt@staff.hu-berlin.de
Publikováno v:
Theoria: An International Journal for Theory, History & Foundations of Science. May2021, Vol. 36 Issue 2, p261-283. 23p.
Autor:
Lampert, Timm, Nakano, Anderson
Publikováno v:
Automated Reasoning
Modern logic engines widely fail to decide axiom sets that are satisfiable only in an infinite domain. This paper specifies an algorithm that automatically generates a database of independent infinity axiom sets with fewer than 1000 characters. It st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::cca8004fa3c40114213d2d0b3d8b4d41
http://europepmc.org/articles/PMC7324131
http://europepmc.org/articles/PMC7324131
Autor:
Baumgartner, Michael, Lampert, Timm
Publikováno v:
Synthese, 2008 Sep 01. 164(1), 93-115.
Externí odkaz:
https://www.jstor.org/stable/40271069
Autor:
Lampert, Timm1
Publikováno v:
Philosophia Mathematica. Oct2018, Vol. 26 Issue 3, p324-345. 22p.