%0 Conference Paper %1 conf/sycss/BoutryBN16 %A Boutry, Pierre %A Braun, Gabriel %A Narboux, Julien %B SCSS %D 2016 %E Davenport, James H. %E Ghourabi, Fadoua %I EasyChair %K %P 14-28 %T From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. %U http://dblp.uni-trier.de/db/conf/sycss/scss2016.html#BoutryBN16 %V 39

@inproceedings{conf/sycss/BoutryBN16, added-at = {2023-12-14T15:11:45.000+0100}, author = {Boutry, Pierre and Braun, Gabriel and Narboux, Julien}, biburl = {https://www.bibsonomy.org/bibtex/2fbde78cdc6a36ac7c8e4d65fe1912cb3/admin}, booktitle = {SCSS}, crossref = {conf/sycss/2016}, editor = {Davenport, James H. and Ghourabi, Fadoua}, ee = {https://easychair.org/publications/paper/ZvfW}, interhash = {e83ccd51b48957a296b2513aa7665227}, intrahash = {fbde78cdc6a36ac7c8e4d65fe1912cb3}, keywords = {}, pages = {14-28}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-14T15:11:45.000+0100}, title = {From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.}, url = {http://dblp.uni-trier.de/db/conf/sycss/scss2016.html#BoutryBN16}, volume = 39, year = 2016 }