Designing and proving correct a convex hull algorithm with hypermaps in Coq
In: Computational Geometry: Theory and Applications, Jg. 45 (2012-10-01), Heft 8, S. 436-457
Online
academicJournal
Titel: |
Designing and proving correct a convex hull algorithm with hypermaps in Coq
|
---|---|
Autor/in / Beteiligte Person: | Brun, Christophe ; Dufourd, Jean-François ; Magaud, Nicolas |
Link: | |
Zeitschrift: | Computational Geometry: Theory and Applications, Jg. 45 (2012-10-01), Heft 8, S. 436-457 |
Veröffentlichung: | 2012 |
Medientyp: | academicJournal |
ISSN: | 0925-7721 (electronic) |
DOI: | 10.1016/j.comgeo.2010.06.006 |
Sonstiges: |
|