Towards a Synthetic Proof of the Polygonal Jordan Curve Theorem

Phil Scott, Jacques Fleuriot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the Automated Deduction in Geometry Workshop
PublisherUniversity of Edinburgh
Pages147-156
Number of pages10
Publication statusPublished - 2012

Cite this