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://publis.icube.unistra.fr/4-BBN16} }