Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.

Stphane Fvre, Dongming Wang

Browse the full CADE paper archive.