Narboux, Julien
Narboux, Julien, 1979-....
VIAF ID: 220581139 ( Personal )
Permalink: http://viaf.org/viaf/220581139
Preferred Forms
- 100 1 _ ‡a Narboux, Julien
-
-
-
- 100 1 _ ‡a Narboux, Julien
- 100 1 _ ‡a Narboux, Julien, ‡d 1979-....
5xx's: Related Names (2)
- 511 2 _ ‡a Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg)
- 511 2 _ ‡a Université de Strasbourg (2009-....)
Works
Title | Sources |
---|---|
Automated deduction in geometry, c2011: | |
Formalisation et automatisation du raisonnement géométrique en Coq | |
Formalization and automation of geometric reasoning using Coq. | |
Sur la formalisation des fondements de la géométrie. |