From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!samsung!uunet!bu.edu!inmet!bwhite
From: bwhite@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Numerical analyses wanted
Message-ID: <20600084@inmet>
Date: 15 Feb 91 16:04:00 GMT
Nf-ID: #N:inmet:20600084:000:1233
Nf-From: inmet.inmet.com!bwhite    Feb 15 11:04:00 1991
List-Id: <comp.lang.ada>


I am looking at models of floating point numbers.  There are apparently
three candidates, or at least three that I have looked at:

	1.) The Brown model (Brown, W.S., A Simple but realistic
	    model of floating point computation, ACM TOMS, 1981)
	2.) The Ada Manual's version of the Brown Model (Ada Language
	    Reference Manual, sections 3.5.6, 3.5.8, various places in
	    4.5 and subsections.)
	3.) The LCAS model (Payne, Mary, Schaffert, Craig, and
	    Wichmann, Brian, Proposal for a Language Compatible
	    Arithmetic Standard, SIGPLAN Notices, Jan 1991)

I am looking for citations and references of analyses of numerical
algorithms and software using any of these.  Particularly interesting
is the first and third.  If anyone has succeeded in doing sensible
error analysis using the second, or has published a failed attempt along
with the reasons for the failure, that is interesting also.

I have a copy of the IEEE floating point standard, as well as other
standards for particular hardware implementations of floating point
numbers.  These standards, while fine and useful documents, are not at
the level of detail I am interested in.

Thanks in advance.

					Peace,
					Bill White
					<bwhite@inmet.inmet.com>