Limits of real numbers in the binary signed digit representation
Work
Year: 2022
Type: article
Abstract: We extract verified algorithms for exact real number computation from constructive proofs. To this end we use a coinductive representation of reals as streams of binary signed digits. The main objecti... more
Authors Franziskus Wiesnet, Nils Köpp
Cites: 11
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond