Gabriel Braun

According to our database, Gabriel Braun authored at least 4 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Formalization of the arithmetization of Euclidean plane geometry and applications.

Pierre Boutry, Gabriel Braun, Julien Narboux

J. Symb. Comput., 2019

2017

A Synthetic Proof of Pappus' Theorem in Tarski's Geometry.

Gabriel Braun, Julien Narboux

J. Autom. Reason., 2017

2016

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

Pierre Boutry, Gabriel Braun, Julien Narboux

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2012

From Tarski to Hilbert.

Gabriel Braun, Julien Narboux

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012