Clifford Term Rewriting for Geometric Reasoning in 3D.

Thierry Boy de la Tour Stéphane Fèvre Dongming Wang

Published in: Automated Deduction in Geometry (1998)

Keyphrases

term rewriting
geometric reasoning
theorem proving
theorem prover
operational semantics
computer vision
rewrite systems
scene understanding
knuth bendix
clifford algebra
database
training data