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
Powered by Papr@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://publis.icube.unistra.fr/1-NJF18}
}