Computer-assisted Theorem Proving in Synthetic Geometry

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

J. Narboux , P. Janicic , J. Fleuriot

Handbook of Geometric Constraint Systems Principles, Chapman and Hall/CRC - 2018

Book's chapter Computer-assisted Theorem Proving in Synthetic Geometry, Handbook of Geometric Constraint Systems Principles, Meera Sitharam; Audrey St. John; Jessica Sidman. (Eds.), Chapman and Hall/CRC, Discrete Mathematics and Its Applications, 2018. ISBN: 9781498738910 Research team : IGG

@Inbook{1-NJF18,
 author = {Narboux, J. and Janicic, P. and Fleuriot, J.},
 title = {Computer-assisted Theorem Proving in Synthetic Geometry},
 booktitle  = {Handbook of Geometric Constraint Systems Principles},
 series = {Discrete Mathematics and Its Applications},
 year = {2018},
 editor = {Meera Sitharam; Audrey St. John; Jessica Sidman.},
 publisher = {Chapman and Hall/CRC},
 ISBN = {9781498738910},
 x-international-audience = {},
 x-language = {EN},
 url = {http://icube-publis.unistra.fr/1-NJF18}
}

See publications of the same authors