Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving |
scientific article |
Statements
Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (English)
0 references
28 November 2007
0 references
mechanical theorem proving
0 references
geometric invariance
0 references
bracket algebra
0 references
affine geometry
0 references
affine bracket algebra
0 references
