Christophe Brun, Jean-François Dufourd, Nicolas Magaud. Formal Proof in Coq and Derivation of a Program in C++ to Compute Convex Hulls.
Automated Deduction in Geometry (Post-proceedings), Sep 2012, Edinbourg, United Kingdom. pp.71-88,
⟨10.1007/978-3-642-40672-0_6⟩.
⟨hal-00916880⟩