Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.

Stphane Fvre, Dongming Wang

Browse the full AISC paper archive.