Projective geometric theorem proving with Grassmann–Cayley algebra

Hongbo Li ()
Additional contact information
Hongbo Li: Chinese Academy of Sciences, Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science

A chapter in From Past to Future: Graßmann's Work in Context, 2011, pp 275-285 from Springer

Abstract: 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].

Keywords: Linear Subspace; Theorem Prove; Dual Operator; Outer Product; Incidence Relation (search for similar items in EconPapers)
Date: 2011
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-0346-0405-5_24

Ordering information: This item can be ordered from
http://www.springer.com/9783034604055

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

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().