Accéder directement au contenu

Julien Narboux

Enseignant-Chercheur, Université de Strasbourg, Laboratoire ICube
4
Documents
Identifiants chercheurs

Publications

"nicolas-magaud"
Image document

A Case Study in Formalizing Projective Geometry in Coq: Desargues Theorem

Nicolas Magaud , Julien Narboux , Pascal Schreck
Computational 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
Image document

Dealing with arithmetic overflows in the polyhedral model

Bruno Cuervo Parrino , Julien Narboux , Eric Violard , Nicolas Magaud
IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France
Communication dans un congrès hal-00655485v1
Image document

Formalizing Desargues' theorem in Coq using ranks in Coq

Nicolas Magaud , Julien Narboux , Pascal Schreck
24th 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
Image document

Formalizing Projective Plane Geometry in Coq

Nicolas Magaud , Julien Narboux , Pascal Schreck
Post-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