Elementarily traceable irrational numbers

DOI10.1007/978-3-031-36978-0_11MaRDI QIDQ6149037zbMATH OpenOpenAlexFDO

Authors Keita Hiroshima, Akitoshi Kawamura

Publication date 12 January 2024

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-36978-0_11

zbMATH Keywords

Computable analysiscontinued fractionsElementary functionsrepresentations for irrational numberssum approximationstrace functions

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• On subrecursive representability of irrational numbers
• Computable irrational numbers with representations of surprising complexity
• On subrecursive representability of irrational numbers, part II
• Computable functions of reals
• Continued fractions of primitive recursive real numbers

Cites work

• A Classification of the Recursive Functions
• Classical recursion theory. Vol. II
• scientific article; zbMATH DE number 3191380 (Why is no real title available?)
• On subrecursive representability of irrational numbers
• On subrecursive representability of irrational numbers, part II

Cited in

(3)

• On representations of irrational numbers and the computational complexity of converting between such representations
• On S-degrees of some representations of irrational numbers
• A degree structure on representations of irrational numbers

This page was built for publication: Elementarily traceable irrational numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6149037)