Stéphane Fèvre, Dongming Wang. Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. Fundamenta Informaticae, 39(1-2):85-104, 1999.
No references recorded for this publication.
No citations of this publication recorded.