[Haskell-cafe] Geometric Algebra [Was: writing a function to make a correspondance between type-level integers and value-level integers]

oleg at okmij.org oleg at okmij.org
Wed Jun 26 08:09:06 CEST 2013

> It seems very interesting, but I have not currently the time to make a 
> detailed comparison with vector/tensor algebra. Moreover I have not 

I would suggest the freely available
        Oersted Medal Lecture 2002
        by David Hestenes
the person who discovered and developed the Geometric Algebra.

In particular, see Section V of the above paper. It talks about
vectors, geometric products, the coordinate-free representation for
`vector product' and the geometric meaning of the imaginary unit i.
Section 1 gives a good motivation for the Geometric Algebra. Other
sections of the paper develop physical applications, from classical
mechanics to electrodynamics to non-relativistic and relativistic
quantum mechanics.

Computer Scientists might then like
see the good and free introduction

Incidentally, David Hestenes said in the lecture that he has applied
for an NSF grant to work on Geometric Algebra TWELVE times in a row,
and was rejected every single time.

More information about the Haskell-Cafe mailing list