Results 161 to 170 of about 1,153 (175)

An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps

Journal of Automated Reasoning, 2009
Jean-François Dufourd
exaly  

A SIMPLE PROOF OF THE JORDAN-CURVE THEOREM

The Quarterly Journal of Mathematics, 1937
openaire   +2 more sources

A digital analogue of the Jordan curve theorem

Discrete Applied Mathematics, 2004
Josef Slapal
exaly  

A Jordan–Brouwer Separation Theorem for Polyhedral Pseudomanifolds

Discrete and Computational Geometry, 2009
Micha A Perles, Horst Martini, Yaakov S Kupitz   +2 more
exaly  

The coverse of the Jordan Curve Theorem and a characterization of planar maps

Geometriae Dedicata, 1989
Carsten Thomassen, Thomassen Carsten
exaly  

The Jordan Curve Theorem

2006
openaire   +1 more source

A Jordan curve theorem with respect to a pretopology on ℤ 2

International Journal of Computer Mathematics, 2013
Josef Slapal
exaly  

The Jordan curve theorem

1977
openaire   +1 more source

A Jordan surface theorem for three-dimensional digital spaces

Discrete and Computational Geometry, 2007
Ralph Kopperman
exaly  

The Jordan curve theorem and an unpublished manuscript by max dehn

Archive for History of Exact Sciences, 1977
H Guggenheimer
exaly