School of Computing

Computing with Exact Real Numbers in a Radix-r System

Kaganovsky Alexander

Technical Report 19-99, Computing Laboratory, University of Kent at Canterbury, October 1999.

Abstract

This paper investigates an arithmetic based upon the representation of computable exact real numbers by lazy infinite sequences of signed digits in a positional radix-r system. We discuss advantages and problems associated with this representation, and develop well-behaved algorithms for a comprehensive range of numeric operations, including the four basic operations of arithmetic.

Download publication 674 kbytes (PostScript)

Bibtex Record

@techreport{947,
author = {Kaganovsky Alexander},
title = {{Computing with Exact Real Numbers in a Radix-r System}},
month = {October},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/947},
    address = {University of Kent at Canterbury},
    institution = {Computing Laboratory},
    number = {19-99},
    publication_type = {techreport},
    submission_id = {24516_945772581},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014