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 This article was published on 2024-11-22
