Julien Narboux
Enseignant-Chercheur, Université de Strasbourg, Laboratoire ICube
4
Documents
Identifiants chercheurs
- julien-narboux
- IdRef : 111206480
- 0000-0003-3527-7184
Publications
- 4
- 2
- 1
- 1
- 1
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A Case Study in Formalizing Projective Geometry in Coq: Desargues TheoremComputational Geometry, 2012, Special Issue on geometric reasoning, 45 (8), pp.406-424. ⟨10.1016/j.comgeo.2010.06.004⟩
Article dans une revue
inria-00432810v2
|
|
Dealing with arithmetic overflows in the polyhedral modelIMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France
Communication dans un congrès
hal-00655485v1
|
|
Formalizing Desargues' theorem in Coq using ranks in Coq24th Annual ACM Symposium on Applied Computing, Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci, Mar 2009, Honolulu, United States. pp.1110-1115, ⟨10.1145/1529282.1529527⟩
Communication dans un congrès
inria-00335719v1
|
|
Formalizing Projective Plane Geometry in CoqPost-proceedings of Automated Deduction in Geometry (ADG) 2008, Thomas Sturm, Sep 2008, Shanghai, China. pp.141-162, ⟨10.1007/978-3-642-21046-4⟩
Communication dans un congrès
inria-00305998v3
|