Folgen
Charly Gries
Charly Gries
Université de Strasbourg
Bestätigte E-Mail-Adresse bei etu.unistra.fr
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4