External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Pierre Boutry, Gabriel Braun, Julien Narboux. From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. In James H. Davenport, Fadoua Ghourabi, editors, 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. Volume 39 of EPiC Series in Computing, pages 14-28, EasyChair, 2016. [doi]

Authors

Pierre Boutry

This author has not been identified. Look up 'Pierre Boutry' in Google

Gabriel Braun

This author has not been identified. Look up 'Gabriel Braun' in Google

Julien Narboux

This author has not been identified. Look up 'Julien Narboux' in Google
runs on