Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry
Under an Elsevier user license
open archive
Keywords
Cayley algebra
Bracket algebra
Automated theorem proving
Projective incidence geometry
Cited by (0)
Copyright © 2003 Elsevier Ltd. All rights reserved.