Vincent Lefèvre. An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2. In Tibor Csendes, editor, Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998. pages 203-212, Springer, 1998. [doi]
Abstract is missing.