Concepedia

Gabriel Braun

GB

Statistics

Publications

3

Citations

50

H-Index

3

Active since

2014

Affiliations

Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie(Current)

Centre National de la Recherche Scientifique

Université de Strasbourg

Gabriel Braun is an author at Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie specializing in geometry, integral geometry, and engineering.

Top concepts

Publications per year

2014–2018

3

Publications

3

Formalization of the arithmetization of Euclidean plane geometry and applications

Pierre Boutry, Gabriel Braun, Julien Narboux · Journal of Symbolic Computation · 2018 · 23 citations · Full text

, , +10

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

Gabriel Braun, Julien Narboux · Journal of Automated Reasoning · 2016 · 16 citations · Full text

, , +1

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

Pierre Boutry, Julien Narboux, Pascal Schreck et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2014 · 11 citations · Full text

1–3 of 3