Benjamin Grégoire, Loïc Pottier, Laurent Théry. Proof Certificates for Algebra and their Application to Automatic Geometry Theorem Proving. Thomas Sturm; Christoph Zengler.
Automated Deduction in Geometry, 6301, Springer, pp.42-59, 2011, Lecture Notes in Computer Science, 978-3-642-21045-7.
⟨10.1007/978-3-642-21046-4_3⟩.
⟨hal-01112767⟩