SEARCH

SEARCH BY CITATION

References

  • [1]
    K. Bühler, E. Dyllong, and W. Luther, Reliable Distance and Intersection Computation Using Finite Precision Geometry. Numerical Software with Result Verification, LNCS 2991, Springer (2004).
  • [2]
    U. Kulisch and H. J. Stetter (eds.), Scientific Computation with Automatic Result Verification, V. Series: Computing, Springer, Wien, (1988).