Suivre
Charly Gries
Charly Gries
Université de Strasbourg
Adresse e-mail validée de etu.unistra.fr
Titre
Citée par
Citée par
Année
Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry
P Boutry, J Narboux, P Schreck
submitted, July, 2015
22*2015
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
82016
GeoCoq
M Beeson, P Boutry, G Braun, C Gries, J Narboux
62018
Axiomes de continuité en géométrie neutre: une étude mécanisée en Coq
C Gries, J Narboux, P Boutry
Journées Francophones des Langages Applicatifs 2019, 2019
22019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–4