TY  - THES
DP  - http://www.theses.fr/2018STRAD042
TI  - On the formalization of foundations of geometry
AU  - Boutry, Pierre
A3  - Schreck, Pascal
PY  - 2018
N1  - Thèse de doctorat Informatique Strasbourg 2018
N1  - 2018STRAD042
UR  - http://www.theses.fr/2018STRAD042/document
ER  -