Proof and Computation in Geometry. Beeson, M. In Ida, T. & Fleuriot, J., editors, Automated Deduction in Geometry (ADG 2012), volume 7993, of Springer Lecture Notes in Artificial Intelligence, pages 1-30, Berlin Heidelberg, 2013. Springer-Verlag.
Proof and Computation in Geometry [pdf]Pdf  bibtex   3 downloads  

Downloads: 3