Signed-bit representations of real numbers

DOI10.4115/jla.2009.1.10zbMath1285.03074arXiv1510.00648OpenAlexW2155606987MaRDI QIDQ3145944

Robert S. Lubarsky, Fred Richman

Publication date: 17 December 2012

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.00648

zbMATH Keywords

Riesz spacesconstructive analysissigned binary

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40) Constructive functional analysis (46S30)

Related Items (1)

Completion of premetric spaces

This page was built for publication: Signed-bit representations of real numbers