Admissible digit sets

DOI10.1016/j.tcs.2005.09.059zbMath1086.68042OpenAlexW2093552175MaRDI QIDQ817861

Jesse Hughes, Milad Niqui

Publication date: 20 March 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.09.059

zbMATH Keywords

admissible representationexact real arithmeticreal-number representationStern-Brocot representation

Mathematics Subject Classification ID

Related Items (1)

Locating terms in the Stern-Brocot tree

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing with infinite objects
• Algebraic computations with continued fractions
• Contractivity of linear fractional transformations
• Topological properties of real number representations.
• On continued fractions and finite automata
• Lazy computation with exact real numbers
• Types for Proofs and Programs

This page was built for publication: Admissible digit sets