Gabriel Braun

A Synthetic Proof of Pappus’ Theorem in Tarski’s Geometry

Julien Narboux, Gabriel Braun, Julien Narboux, 2017, Journal of Automated Reasoning.

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

Julien Narboux, Gabriel Braun, Pierre Boutry, 2016, SCSS.

Formalization of the arithmetization of Euclidean plane geometry and applications

Julien Narboux, Gabriel Braun, Pierre Boutry, 2019, J. Symb. Comput..

From Tarski to Hilbert

Julien Narboux, Gabriel Braun, 2012, Automated Deduction in Geometry.

Using small scale automation to improve both accessibility and readability of formal proofs in geometry

Pascal Schreck, Julien Narboux, Gabriel Braun, 2014 .

A short note about case distinctions in Tarski's geometry

Pascal Schreck, Julien Narboux, Gabriel Braun, 2014 .

From Hilbert to Tarski

Julien Narboux, Gabriel Braun, Pierre Boutry, 2016 .