Login / Signup
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
Jean-François Dufourd
Published in:
CoRR (2008)
Keyphrases
</>
digital surface
digital topology
theorem prover
interactive theorem proving
discrete space
theorem proving
b spline
natural deduction
first order logic
endpoints
piecewise linear
formal methods
cubic spline
discrete version
state space
continuous domains