Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!wuarchive!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.specification
Subject: Re: Numerical Analysis/ Formal proofs
Message-ID: <13164@hubcap.clemson.edu>
Date: 18 Feb 91 13:23:05 GMT
References: <2147@m1.cs.man.ac.uk>
Organization: Clemson University, Clemson, SC
Lines: 14

cliff@cs.man.ac.uk (Cliff B Jones) writes:

>... anyone point me to references which link numerical
>problems and formal program development ideas?

I've been looking for such things myself. The best that I can come up
with is the link between constructive analysis, real analysis and the
numerical problems. If you find out anything, please send me a copy.

-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906