This document is unfortunately not available for download at the moment.
Steve Russ , Jörg Liesen (2011) From Past to Future: Graßmann's Work in Context: Graßmann Bicentennial Conference, September 2009, Dordrecht, Springer.
Projective geometric theorem proving with Grassmann–Cayley algebra
Hongbo Li
pp. 275-285
Not implemented yet !