Christophe Brun

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

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

[BibT_eX]

[DOI]

Comput. Geom., 2012

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

[BibT_eX]

[DOI]

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