Christophe Brun

According to our database, Christophe Brun authored at least 2 papers in 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Designing and proving correct a convex hull algorithm with hypermaps in Coq.

Christophe Brun, Jean-François Dufourd, Nicolas Magaud

Comput. Geom., 2012

Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.

Christophe Brun, Jean-François Dufourd, Nicolas Magaud

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012