Projective geometric theorem proving with Grassmann–Cayley algebra (Q2995120)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Projective geometric theorem proving with Grassmann–Cayley algebra |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Projective geometric theorem proving with Grassmann–Cayley algebra |
scientific article |
Statements
Projective geometric theorem proving with Grassmann–Cayley algebra (English)
0 references
20 April 2011
0 references
automated theorem proving
0 references
bracket notation
0 references
Cayley expansion
0 references
Cayley factorization
0 references
determinants
0 references
meet product
0 references
outer product
0 references
Grassmann-Cayley algebra
0 references
projective incidence geometry
0 references
Grassmann-Plücker syzygies
0 references
Desargues' theorem
0 references
