Searching for "Admissible digit sets." – sorted by Relevance.
-
Admissible Digit Sets and a Modified Stern-Brocot Representation
- Admissible Digit Sets and a Modified Stern--Brocot Representation J. Hughes, M. Niqui Nijmegen
- Add To MetaCart
-
Formalising exact arithmetic in type theory
- (y)|. Definition 6. Let Φ be a finite set of refining increasing Möbius maps. We call Φ an admissible digit set
- Cited by 2 (0 self) – Add To MetaCart

