Xref: utzoo sci.math:16435 sci.math.symbolic:2290 comp.theory:1775 comp.lang.functional:720
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!chalmers.se!cs.chalmers.se!johnsson
From: johnsson@cs.chalmers.se (Thomas Johnsson)
Newsgroups: sci.math,sci.math.symbolic,comp.theory,comp.lang.functional
Subject: Re: do computers believe in real numbers?
Message-ID: <4421@undis.cs.chalmers.se>
Date: 5 Apr 91 06:49:10 GMT
Article-I.D.: undis.4421
References: <7197@munnari.oz.au> <1991Apr4.095619.27416@prl.dec.com>
Sender: news@cs.chalmers.se
Organization: Dept. of CS, Chalmers, Sweden
Lines: 15

In article <1991Apr4.095619.27416@prl.dec.com> suarez@prl.dec.com (Ascander Suarez) writes:
>There is an article at the lisp  and Functional Programming conference 1988 entitled:
>
>Exact Real Computer Arithmetic with Continued Fractions
>by Jean Vuillemin
>
>The author presents a representation of the computable real numbers and 
>algorithms for their manipulation.

This paper also appeared recently in IEEE Transactions on Computers,
which I think i a more detailed version.

Thomas Johnsson  (johnsson@cs.chalmers.se)
Dept. of CS, Chalmers University of Technology, S-412 96 Goteborg, Sweden
phone: dept: +46 (0)31 721088.