Chapter in the Handbook of Geometric Constraint Systems Principles by Jacques Fleuriot

Chapter on Computer-assisted Theorem Proving in Synthetic Geometry

Chapter on Computer-assisted Theorem Proving in Synthetic Geometry by Jacques Fleuriot, co-authored with Julien Narboux and Predrag Janičić, has just appeared in the  Handbook of Geometric Constraint Systems Principles, CRC Press, July 2018.

More information at: https://www.crcpress.com/Handbook-of-Geometric-Constraint-Systems-Principles/Sitharam-John-Sidman/p/book/9781498738910