From tarski to hilbert G Braun, J Narboux International Workshop on Automated Deduction in Geometry, 89-109, 2012 | 51 | 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 | 28 | 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 | 27 | 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 | 13 | 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 |