From Tarski to Hilbert. - Gabriel Braun; Julien Narboux (Automated Deduction in Geometry, 2012)

From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. - Pierre Boutry; Gabriel Braun; Julien Narboux (SCSS, 2016)

A Synthetic Proof of Pappus' Theorem in Tarski's Geometry. - Gabriel Braun; Julien Narboux (J. Autom. Reason., 2017)

Formalization of the arithmetization of Euclidean plane geometry and applications. - Pierre Boutry; Gabriel Braun; Julien Narboux (J. Symb. Comput., 2019)