关注
Charly Gries
Charly Gries
Université de Strasbourg
在 etu.unistra.fr 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
52018
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
系统目前无法执行此操作，请稍后再试。
文章 1–4