Benjamin Grégoire, Loïc Pottier, Laurent Théry. Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving. In Thomas Sturm, Christoph Zengler, editors, Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Volume 6301 of Lecture Notes in Computer Science, pages 42-59, Springer, 2008. [doi]
@inproceedings{GregoirePT08,
title = {Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving},
author = {Benjamin Grégoire and Loïc Pottier and Laurent Théry},
year = {2008},
doi = {10.1007/978-3-642-21046-4_3},
url = {http://dx.doi.org/10.1007/978-3-642-21046-4_3},
tags = {certification, algebra},
researchr = {https://researchr.org/publication/GregoirePT08},
cites = {0},
citedby = {0},
pages = {42-59},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers},
editor = {Thomas Sturm and Christoph Zengler},
volume = {6301},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-21045-7},
}