From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry

P. Boutry , G. Braun , J. Narboux

The 7th International Symposium on Symbolic Computation in Software (SCSS 2016) , Volume 39 - 2016

International conference with proceedings From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry, The 7th International Symposium on Symbolic Computation in Software (SCSS 2016), Tokyo, Japan, James H. Davenport and Fadoua Ghourabi, EasyChair Proceedings in Computing, Volume 39, mars 2016 Research team : IGG

@Inproceedings{4-BBN16,
 author = {Boutry, P. and Braun, G. and Narboux, J.},
 title = {From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry},
 booktitle  = {The 7th International Symposium on Symbolic Computation in Software (SCSS 2016)},
 series = {EasyChair Proceedings in Computing},
 volume = {39},
 month = {Mar},
 year = {2016},
 publisher = {James H. Davenport and Fadoua Ghourabi},
 x-international-audience = {Yes},
 x-language = {EN},
 url = {http://icube-publis.unistra.fr/4-BBN16}
}

See publications of the same authors