Sciweavers

3 search results - page 1 / 1
» On the Connecting Thickness of Arithmetical Discrete Planes
Sort
View
DGCI
2009
Springer
13 years 11 months ago
On the Connecting Thickness of Arithmetical Discrete Planes
Eric Domenjoud, Damien Jamet, Jean-Luc Toutant
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 5 months ago
The Complexity of Proving the Discrete Jordan Curve Theorem
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid gr...
Phuong Nguyen, Stephen Cook
DAGSTUHL
2003
13 years 6 months ago
Reliable Distance and Intersection Computation Using Finite Precision Geometry
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...
Katja Bühler, Eva Dyllong, Wolfram Luther