Skip to Content.
Sympa Menu

coq-club - Linear algebra

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Linear algebra


chronological Thread 
  • 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?





Archive powered by MhonArc 2.6.16.

Top of Page