Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps.
Jean-François DufourdPublished in: STACS (2008)
Keyphrases
- digital surface
- digital topology
- theorem prover
- interactive theorem proving
- discrete space
- theorem proving
- discrete geometry
- discrete version
- closed curves
- cubic spline
- first order logic
- b spline
- data sets
- translation invariant
- continuous domains
- digital plane
- natural deduction
- continuous variables
- roc curve
- finite number
- expert systems
- artificial intelligence
- neural network