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.
@article{FevreW99,
title = {Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving},
author = {Stéphane Fèvre and Dongming Wang},
year = {1999},
tags = {term rewriting, graph-rewriting, algebra, rewriting},
researchr = {https://researchr.org/publication/FevreW99},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {39},
number = {1-2},
pages = {85-104},
}