karl bühler digital

Home > Proceedings > Contribution

Publication details

Publisher: Springer

Place: Berlin

Year: 2011

Pages: 275-285

ISBN (Hardback): 9783034604048

Full citation:

Hongbo Li, "Projective geometric theorem proving with Grassmann–Cayley algebra", in: From Past to Future: Graßmann's Work in Context, Berlin, Springer, 2011

Projective geometric theorem proving with Grassmann–Cayley algebra

Hongbo Li

pp. 275-285

in: Steve Russ, Jörg Liesen (eds), From Past to Future: Graßmann's Work in Context, Berlin, Springer, 2011

Abstract

Grassmann–Cayley algebra was invented by Grassmann and Cayley in the nineteenth century [A1K]. 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

Publisher: Springer

Place: Berlin

Year: 2011

Pages: 275-285

ISBN (Hardback): 9783034604048

Full citation:

Hongbo Li, "Projective geometric theorem proving with Grassmann–Cayley algebra", in: From Past to Future: Graßmann's Work in Context, Berlin, Springer, 2011