Elementarily traceable irrational numbers

DOI10.1007/978-3-031-36978-0_11OpenAlexW4384788344MaRDI QIDQ6149037

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

continued fractionstrace functionsComputable analysisElementary functionssum approximationsrepresentations for irrational numbers

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Classical recursion theory. Vol. II
• On subrecursive representability of irrational numbers
• On subrecursive representability of irrational numbers, part II
• A Classification of the Recursive Functions

This page was built for publication: Elementarily traceable irrational numbers