Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.

Stéphane Fèvre Dongming Wang

Published in: CADE (1998)

Keyphrases

rewrite rules
clifford algebra
term rewrite systems
rewriting rules
consistency constraints
transformation rules
geometric constraints
complex queries
geometric structure
knn