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 |

Formalization of the arithmetization of Euclidean plane geometry and applications P Boutry, G Braun, J Narboux Journal of Symbolic Computation 90, 149-168, 2019 | 20 | 2019 |

Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq P Boutry, C Gries, J Narboux, P Schreck Journal of Automated Reasoning 62, 1-68, 2019 | 17* | 2019 |

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 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 |

From Hilbert to Tarski G Braun, P Boutry, J Narboux Eleventh International Workshop on Automated Deduction in Geometry, 19, 2016 | 10 | 2016 |

Somme des angles d'un triangle et unicité de la parallèle: une preuve d'équivalence formalisée en Coq C Gries, P Boutry, J Narboux Les vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA …, 2016 | 8 | 2016 |

A reflexive tactic for automated generation of proofs of incidence to an affine variety P Boutry, J Narboux, P Schreck | 7 | 2015 |

On the formalization of foundations of geometry P Boutry Université de Strasbourg, 2018 | 6 | 2018 |

GeoCoq M Beeson, P Boutry, G Braun, C Gries, J Narboux | 6 | 2018 |

Herbrand’s theorem and non-Euclidean geometry M Beeson, P Boutry, J Narboux Bulletin of Symbolic Logic 21 (2), 111-122, 2015 | 6 | 2015 |

Formalization of the poincaré disc model of hyperbolic geometry D Simić, F Marić, P Boutry Journal of Automated Reasoning 65, 31-73, 2021 | 2 | 2021 |

Axiomes de continuité en géométrie neutre: une étude mécanisée en Coq C Gries, J Narboux, P Boutry | 2 | 2018 |

Poincaré disc model D Simić, F Marić, P Boutry Archive of Formal Proofs, 2019 | 1 | 2019 |