Projective geometric theorem proving with Grassmann–Cayley algebra

Li Hongbo

Repository | Book | Chapter

(2011) From Past to Future: Graßmann's Work in Context, Dordrecht, Springer.

Projective geometric theorem proving with Grassmann–Cayley algebra

Hongbo Li

pp. 275-285

Grassmann–Cayley algebra was invented by Grassmann and Cayley in the nineteenth century [A1_K]. It is an algebra equipped with two products: the exterior product (outer product), and the dual of the exterior product called the meet product. Geometri-cally, this algebra provides an invariant language for the synthetic projective geometry on the incidence relations among points, lines and other "flat" objects. The algebra of invariants associated with this algebra is the so-called bracket algebra, or the algebra of determinants [White 1975].

Publication details

DOI: 10.1007/978-3-0346-0405-5_24

Full citation:

Li, H. (2011)., Projective geometric theorem proving with Grassmann–Cayley algebra, in S. Russ & J. Liesen (eds.), From Past to Future: Graßmann's Work in Context, Dordrecht, Springer, pp. 275-285.

This document is unfortunately not available for download at the moment.