coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Linear algebra

From: Jasper J Stein <jasper AT cs.kun.nl>
To: coq-club AT pauillac.inria.fr
Subject: Linear algebra
Date: Tue, 20 Feb 2001 10:25:03 +0100

For my Ph.D. project I will be formalising linear algebra. However, lest
the wheel be invented twice, I would ask if anyone has done some work on
this yet...? I know that at INRIA people have been busy doing matrices,
but I also want a more general approach - vector spaces, bases, inner
products, ...

Anyone working on this?

Jasper
--
In a world without walls and fences, who needs Windows and Gates?

Linear algebra, Jasper J Stein