@phdthesis{pham:tel-01112334, TITLE = {{Formal Description of Geometrical Properties}}, AUTHOR = {Pham, Tuan Minh}, URL = {https://theses.hal.science/tel-01112334}, SCHOOL = {{Univerist{\'e} Nice Sophia Antipolis}}, YEAR = {2011}, MONTH = Nov, KEYWORDS = {formalization of geometry ; interactive proofs ; Coq ; dynamic geometry software ; formalisation de la g{\'e}om{\'e}trie ; preuves interactives ; logiciel de g{\'e}om{\'e}trie dynamique}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-01112334/file/PhamThesis.pdf}, HAL_ID = {tel-01112334}, HAL_VERSION = {v1}, }