Admissible digit sets
type: Item
instance of: scholarly article
title: Admissible digit sets
zbMATH Open document ID: 1086.68042
author: Jesse Hughes
author: Milad Niqui
published in: Theoretical Computer Science
publication date: 2006-03-20T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 5013350
zbMATH Keywords: real-number representation
zbMATH Keywords: exact real arithmetic
zbMATH Keywords: admissible representation
zbMATH Keywords: Stern-Brocot representation
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: j.tcs.2005.09.059
OpenAlex ID: W2093552175
cites work: Topological properties of real number representations.
cites work: Q4222886
cites work: Lazy computation with exact real numbers
cites work: Q4531979
cites work: Q4320535
cites work: Contractivity of linear fractional transformations
cites work: Algebraic computations with continued fractions
cites work: Q4520292
cites work: Types for Proofs and Programs
cites work: On continued fractions and finite automata
cites work: Q4485693
cites work: Computing with infinite objects
DOI: 10.1016/J.TCS.2005.09.059
description: scientific article; zbMATH DE number 5013350