Path: 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

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