The following pages link to Discrete Jordan curve theorems (Q580354):
Displaying 6 items.
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- Non-separating cycles and discrete Jordan curves (Q913818) (← links)
- A duality for permutations (Q1114702) (← links)
- A characterization of embeddability of graphs on surfaces (Q1129806) (← links)
- Chromatic number, induced cycles, and non-separating cycles (Q2227971) (← links)
- Binary topological relations on the digital sphere (Q2302905) (← links)
