Published in: LIPIcs, Volume 1, 25th International Symposium on Theoretical Aspects of Computer Science (2008)
Jean-Francois Dufourd. Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. In 25th International Symposium on Theoretical Aspects of Computer Science. Leibniz International Proceedings in Informatics (LIPIcs), Volume 1, pp. 253-264, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{dufourd:LIPIcs.STACS.2008.1349,
author = {Dufourd, Jean-Francois},
title = {{Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {253--264},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-06-4},
ISSN = {1868-8969},
year = {2008},
volume = {1},
editor = {Albers, Susanne and Weil, Pascal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1349},
URN = {urn:nbn:de:0030-drops-13493},
doi = {10.4230/LIPIcs.STACS.2008.1349},
annote = {Keywords: Formal specifications, Computational topology, Computer-aided proofs, Coq, Planar subdivisions, Hypermaps, Jordan Curve Theorem}
}
Feedback for Dagstuhl Publishing