Media type: E-Article Title: Numerical Software with Result Verification: Reliable Distance and Intersection Computation Using Finite Precision Geometry Contributor: Bühler, Katja; Dyllong, Eva; Luther, Wolfram Published: Springer Berlin Heidelberg, 2004 Published in: Numerical Software with Result Verification (2004), Seite 160-190 Language: Not determined DOI: 10.1007/978-3-540-24738-8_9 ISBN: 9783540247388; 9783540212607 ISSN: 0302-9743; 1611-3349 Origination: Footnote: