Projective geometric theorem proving with Grassmann–Cayley algebra

DOI10.1007/978-3-0346-0405-5_24zbMath1226.15015OpenAlexW24170142MaRDI QIDQ2995120

Hong-Bo Li

Publication date: 20 April 2011

Published in: From Past to Future: Graßmann's Work in Context (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-0346-0405-5_24

zbMATH Keywords

determinantsautomated theorem provingouter productCayley factorizationGrassmann-Cayley algebraDesargues' theoremprojective incidence geometryCayley expansionbracket notationGrassmann-Plücker syzygiesmeet product

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) Projective techniques in algebraic geometry (14N05) Incidence structures embeddable into projective geometries (51A45) Exterior algebra, Grassmann algebras (15A75)

This page was built for publication: Projective geometric theorem proving with Grassmann–Cayley algebra