# 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.