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; zbMATH DE number 5880420
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Projective geometric theorem proving with Grassmann-Cayley algebra |
scientific article; zbMATH DE number 5880420 |
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
0.8503865003585815
0 references
0.8457815051078796
0 references
0.840262234210968
0 references
