Article View: comp.specification
Article #133Linear Algebra and Specifications
From: John W. Baugh Jr.
Date: Sat, 30 Jun 1990 18:22
Date: Sat, 30 Jun 1990 18:22
17 lines
1112 bytes
1112 bytes
I'd like to find references to any work that's been done (particularly in the formal specification community) on specifying matrix operators, including tools, notations, etc. Also, it seems that the algebra of matrix elements has to be considered to do anything interesting with these specifications--are there any definitions of the "nice" properties that floating point representations are supposed to obey? Or perhaps all of this is just too messy--maybe the chasm between numerical analysis and linear algebra is too great. Any comments/suggestions welcome. John Baugh jwb@cepmax.ncsu.edu
Technical Details
Message-ID:
<1990Jun30.182211.25800@ncsuvx.ncsu.edu>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!aplcen!samsung!usc!apple!ames!ncar!mephisto!ncsuvx!newsReferences:
<1990Jun28.064022.13850@funet.fi>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!aplcen!samsung!usc!apple!ames!ncar!mephisto!ncsuvx!news From: jwb@cepmax.ncsu.EDU (John W. Baugh Jr.) Newsgroups: comp.specification Subject: Linear Algebra and Specifications Message-ID: <1990Jun30.182211.25800@ncsuvx.ncsu.edu> Date: 30 Jun 90 18:22:11 GMT References: <1990Jun28.064022.13850@funet.fi> Sender: news@ncsuvx.ncsu.edu (USENET News System) Reply-To: jwb@cepmax.ncsu.edu Distribution: comp Organization: North Carolina State University Lines: 17