Gabriel Braun
Gabriel Braun
Maitre de conférence Université de Strasbourg
Adresse e-mail validée de unistra.fr - Page d'accueil
TitreCitée parAnnée
From Tarski to Hilbert
G Braun, J Narboux
International Workshop on Automated Deduction in Geometry, 89-109, 2012
402012
Using small scale automation to improve both accessibility and readability of formal proofs in geometry
P Boutry, J Narboux, P Schreck, G Braun
212014
A synthetic proof of Pappus’ theorem in Tarski’s geometry
G Braun, J Narboux
Journal of Automated Reasoning 58 (2), 209-230, 2017
132017
From Tarski to Descartes: formalization of the arithmetization of Euclidean geometry
P Boutry, G Braun, J Narboux
102016
A short note about case distinctions in Tarski's geometry
P Boutry, J Narboux, P Schreck, G Braun
102014
Formalization of the arithmetization of Euclidean plane geometry and applications
P Boutry, G Braun, J Narboux
Journal of Symbolic Computation 90, 149-168, 2019
92019
From Hilbert to Tarski
G Braun, P Boutry, J Narboux
72016
Sur la programmation de constructions géométriques
G Braun
Strasbourg 1, 1988
41988
GeoCoq
M Beeson, P Boutry, G Braun, C Gries, J Narboux
12018
Un outil pour la construction géométrique
G BRAUN
Annales de Didactique et de Sciences Cognitives 2, 111-133, 1989
11989
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–10