Re: Numerical Analysis/ Formal proofs

Article View: comp.specification

Article #326

Back to comp.specification Previous Next

#326

From: "Steve" Stevenson
Date: Mon, 18 Feb 1991 13:23

14 lines
1033 bytes

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

Technical Details

Message-ID: <13164@hubcap.clemson.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!wuarchive!emory!hubcap!steve

References: <2147@m1.cs.man.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message