On subrecursive representation of irrational numbers: contractors and Baire sequences
From MaRDI portal
Publication:2117793
DOI10.1007/978-3-030-80049-9_28OpenAlexW3184575261MaRDI QIDQ2117793
Publication date: 22 March 2022
Full work available at URL: http://hdl.handle.net/10852/86560
computational complexitycomputable analysiscontraction mapssubrecursionBaire sequencesrepresentation of irrationals
Related Items
Cites Work
- Unnamed Item
- On the complexity of conversion between classic real number representations
- Computable irrational numbers with representations of surprising complexity
- Strongly uniform bounds from semi-constructive proofs
- Continued Fractions without Tears
- On subrecursive representability of irrational numbers
- On subrecursive representability of irrational numbers, part II
- On primitive recursive real numbers
This page was built for publication: On subrecursive representation of irrational numbers: contractors and Baire sequences