Xref: utzoo sci.math:16130 sci.math.symbolic:2240 comp.theory:1728 comp.lang.functional:703
Newsgroups: sci.math,sci.math.symbolic,comp.theory,comp.lang.functional
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!function.mps.ohio-state.edu!edgar
From: edgar@function.mps.ohio-state.edu (Gerald Edgar)
Subject: Re: do computers believe in real numbers?
Message-ID: <1991Mar28.131426.3627@zaphod.mps.ohio-state.edu>
Sender: usenet@zaphod.mps.ohio-state.edu
Nntp-Posting-Host: function.mps.ohio-state.edu
Organization: The Ohio State University, Dept. of Math.
References: <7197@munnari.oz.au>
Date: Thu, 28 Mar 1991 13:14:26 GMT

In article <7197@munnari.oz.au> aet@felix.ee.mu.OZ.AU (Albert Edward THOMPSON) writes:
>
> I am trying to implement real numbers in a normal-order functional language--

There is a "calculator" for Suns that does this.  It cites these references:

Hans-J. Boehm, "Constructive Real Interpretation of Numerical Programs",
Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive
Techniques, SIGPLAN Notices 22, 7 (July 1987), pp. 241-221.

Hans-J. Boehm, R. Cartwright, Michael J. O'Donnell, and Mark Riggle,
"Exact Real Arithmetic: A Case Study in Higher Order Programming",
Proceedings of the 1986 Lisp and Functional Programming Conference,
pp. 162-173.

Brent, R.P., "Fast Multiple-Precision Evaluation of Elementary Functions",
Journal of the ACM 23, (1976), pp. 242-251.
--
  Gerald A. Edgar          
  Department of Mathematics             Bitnet:    EDGAR@OHSTPY
  The Ohio State University             Internet:  edgar@mps.ohio-state.edu
  Columbus, OH 43210   ...!{att,pyramid}!osu-cis!shape.mps.ohio-state.edu!edgar