## Stéphane Fèvre, Dongming Wang

*Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules*

CADE, 1998.

@inproceedings{CADE-1998-FeveW, author = "Stéphane Fèvre and Dongming Wang", booktitle = "{Proceedings of the 15th International Conference on Automated Deduction}", ee = "http://link.springer.de/link/service/series/0558/bibs/1421/14210017.htm", isbn = "3-540-64675-2", pages = "17--31", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules}", volume = 1421, year = 1998, }