| From tarski to hilbert G Braun, J Narboux International Workshop on Automated Deduction in Geometry, 89-109, 2012 | 48 | 2012 |
| Formalization of the arithmetization of Euclidean plane geometry and applications P Boutry, G Braun, J Narboux Journal of Symbolic Computation 90, 149-168, 2019 | 26 | 2019 |
| Using small scale automation to improve both accessibility and readability of formal proofs in geometry P Boutry, J Narboux, P Schreck, G Braun Automated Deduction in Geometry 2014, 1-19, 2014 | 26 | 2014 |
| A synthetic proof of Pappus’ theorem in Tarski’s geometry G Braun, J Narboux Journal of Automated Reasoning 58, 209-230, 2017 | 20 | 2017 |
| A short note about case distinctions in Tarski's geometry P Boutry, J Narboux, P Schreck, G Braun Automated Deduction in Geometry 2014, 1-15, 2014 | 15 | 2014 |
| From Hilbert to Tarski G Braun, P Boutry, J Narboux Eleventh International Workshop on Automated Deduction in Geometry, 19, 2016 | 12 | 2016 |
| From Tarski to Descartes: formalization of the arithmetization of Euclidean geometry P Boutry, G Braun, J Narboux SCSS 2016, the 7th International Symposium on Symbolic Computation in …, 2016 | 11 | 2016 |
| GeoCoq M Beeson, P Boutry, G Braun, C Gries, J Narboux | 5 | 2018 |
| Sur la programmation de constructions géométriques G Braun ANRT, 1988 | 5 | 1988 |
| Un outil pour la construction géométrique G BRAUN Annales de Didactique et de Sciences Cognitives 2, 111-133, 1989 | 1 | 1989 |
| A new formulation for the unassigned distance geometry problem G Braun, N Maculan, RV Pinto, C Lavor, F França | | 2023 |
