Pages that link to "Item:Q1389762"

The following pages link to A definition of surfaces of \({\mathbb{Z}}^{3}\). A new 3D discrete Jordan theorem (Q1389762):

Displayed 2 items.

• An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) ‎ (← links)
• Characterization of Simple Closed Surfaces in ℤ3: A New Proposition with a Graph-Theoretical Approach (Q3648792) ‎ (← links)