@inproceedings{3579bfb42a61428ca3fd8ba8d19765bc,
title = "Combining algebraic computing and term-Rewriting for geometry theorem proving",
abstract = "This note reports some of our investigations on combining algebraic computing and term-rewriting techniques for automated geometry theorem proving. A general approach is proposed that requires both Clifford algebraic reduction and term-rewriting. Preliminary experiments for some concrete cases have been carried out by combining routines implemented in Maple V and Objective Carol. The experiments together with several examples illustrate the suitability and performance of our approach.",
author = "St{\'e}phane F{\`e}vre and Dongming Wang",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 4th International Conference on Artificial Intelligence and Symbolic Computation, AISC 1998 ; Conference date: 16-09-1998 Through 18-09-1998",
year = "1998",
doi = "10.1007/bfb0055909",
language = "英语",
isbn = "3540649603",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "145--156",
editor = "Jacques Calmet and Jan Plaza",
booktitle = "Artificial Intelligence and Symbolic Computation - International Conference AISC 1998, Proceedings",
address = "德国",
}