coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
Archive powered by MhonArc 2.6.16.