{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:12:30Z","timestamp":1725574350507},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212607"},{"type":"electronic","value":"9783540247388"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24738-8_9","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T13:22:23Z","timestamp":1294406543000},"page":"160-190","source":"Crossref","is-referenced-by-count":12,"title":["Reliable Distance and Intersection Computation Using Finite Precision Geometry"],"prefix":"10.1007","author":[{"given":"Katja","family":"B\u00fchler","sequence":"first","affiliation":[]},{"given":"Eva","family":"Dyllong","sequence":"additional","affiliation":[]},{"given":"Wolfram","family":"Luther","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press Inc., New York (1983)"},{"issue":"1-4","key":"9_CR2","first-page":"257","volume":"7","author":"R.E. Barnhill","year":"1990","unstructured":"Barnhill, R.E., Kersey, S.N.: A marching method for parametric surface\/surface intersection. CAGD\u00a07(1-4), 257\u2013280 (1990)","journal-title":"CAGD"},{"issue":"1-3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0024-3795(98)10044-7","volume":"281","author":"O. Beaumont","year":"1998","unstructured":"Beaumont, O.: Solving interval linear systems with linear programming techniques. Linear Algebra Appl\u00a0281(1-3), 293\u2013309 (1998)","journal-title":"Linear Algebra Appl"},{"issue":"2","key":"9_CR4","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1080\/10867651.1999.10487502","volume":"4","author":"G. Bergen van den","year":"1999","unstructured":"van den Bergen, G.: A Fast and Robust GJK Implementation for Collision Detection of Convex Objects. Journal of Graphics Tools\u00a04(2), 7\u201325 (1999)","journal-title":"Journal of Graphics Tools"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1009958918582","volume":"4","author":"B. Berz","year":"1998","unstructured":"Berz, B., Hofst\u00e4tter, G.: Computation and application of Taylor polynomials with interval remainder bounds. Reliable Computing\u00a04, 83\u201397 (1998)","journal-title":"Reliable Computing"},{"key":"9_CR6","volume-title":"Proc. of Workshop on Uncertainty in Geom. Comp.","author":"K. B\u00fchler","year":"2002","unstructured":"B\u00fchler, K.: Fast and reliable plotting of implicit curves. In: Proc. of Workshop on Uncertainty in Geom. Comp., Sheffield University, UK, July 2001, Kluwer, Dordrecht (2002)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"B\u00fchler, K.: Linear interval estimations for parametric objects. In: Proc. of Eurographics 2001 Computer Graphics Forum, vol.\u00a020(3) (2001)","DOI":"10.1111\/1467-8659.00545"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"B\u00fchler, K.: Implicit linear interval estimations. In: Proc. Spring Conference of Computer Graphics, SCCG, Budmerice (SK). April 2002. ACM Siggraph (2002)","DOI":"10.1145\/584458.584479"},{"key":"9_CR9","unstructured":"Chung, T.L.: An Efficient Collision Detection Algorithm for Polytopes in Virtual Environments. M. Phil. Thesis, University of Hong Kong (1996)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Cohen, J., Lin, M.C., Manocha, D., Ponamgi, K.: COLLIDE: An interactive and exact collision detection system for large-scale environments. In: Proc. Symp. of Interactive 3D Graphics, pp. 189\u2013196 (1995)","DOI":"10.1145\/199404.199437"},{"key":"9_CR11","unstructured":"Comba, J.L.D., Stolfi, J.: Affine Arithmetic and Its Applications to Computer Graphics. In: Proceedings of the VI Sibgrapi. Recife, Brazil (October 1993)"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1009924204609","volume":"5","author":"E. Dyllong","year":"1999","unstructured":"Dyllong, E., Luther, W., Otten, W.: An Accurate Distance-Computation Algorithm for Convex Polyhedra. Reliable Computing\u00a05, 241\u2013253 (1999)","journal-title":"Reliable Computing"},{"key":"9_CR13","first-page":"771","volume-title":"ZAMM Zeitschrift f\u00fcr angewandte Mathematik und Mechanik, GAMM 99 Annual Meeting","author":"E. Dyllong","year":"2000","unstructured":"Dyllong, E., Luther, W.: An accurate computation of the distance between a point and a polyhedron. In: Berveiller, M., Louis, A.K., Fressengeas, C. (eds.) ZAMM Zeitschrift f\u00fcr angewandte Mathematik und Mechanik, GAMM 99 Annual Meeting, Metz, France, April 12-16, vol.\u00a080, pp. 771\u2013772. WILEY-VCH, Berlin (2000)"},{"key":"9_CR14","first-page":"55","volume-title":"Curve and Surface Design: Saint-Malo 1999","author":"E. Dyllong","year":"2000","unstructured":"Dyllong, E., Luther, W.: Distance calculation between a point and a NURBS surface. In: Laurent, P.-J., Sablonni\u00e8re, P., Schumaker, L.L. (eds.) Curve and Surface Design: Saint-Malo 1999, pp. 55\u201362. Vanderbilt University Press, Nashville (2000)"},{"key":"9_CR15","unstructured":"Dyllong, E., Luther, W.: The GJK Distance Algorithm: An Interval Version for Incremental Motions. Proceedings Scan 2002 (2002) (submitted to)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Eckardt, U.: Digital Lines and Digital Convexity. Hamburger Beitr\u00e4ge zur Angewandten Mathematik 164 (2001)","DOI":"10.1007\/3-540-45576-0_13"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Ehmann, S.A., Lin, M.C.: Accurate and Fast Proximity Queries between Polyhedra Using Surface Decomposition. In: Proc. of Eurographics 2001 Computer Graphics Forum, vol.\u00a020(3) (2001)","DOI":"10.1111\/1467-8659.00543"},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-1-4757-6484-0_12","volume-title":"Scientific Computing, Validated Numerics, Interval Methods","author":"D. Fausten","year":"2001","unstructured":"Fausten, D., Luther, W.: Verified solutions of systems of nonlinear polynomial equations. In: Kr\u00e4mer, W., Wolff van Gudenberg, J. (eds.) Scientific Computing, Validated Numerics, Interval Methods, pp. 141\u2013152. Kluwer, Dordrecht (2001)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/56.2083","volume":"4","author":"E.G. Gilbert","year":"1988","unstructured":"Gilbert, E.G., Johnson, D.W., Keerthi, S.S.: A fast procedure for computing the distance between complex objects in three-dimensional space. IEEE Journal of Robotics and Automation\u00a04, 193\u2013203 (1988)","journal-title":"IEEE Journal of Robotics and Automation"},{"issue":"4","key":"9_CR20","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1109\/70.954768","volume":"17","author":"E.G. Gilbert","year":"2001","unstructured":"Gilbert, E.G., Ong, C.J.: Fast Versions of the Gilbert-Johnson-Keethi Distance Algorithm: Additional Results and Comparisons. IEEE Trans. Robotics and Automation\u00a017(4), 531\u2013539 (2001)","journal-title":"IEEE Trans. Robotics and Automation"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Guibas, L.J., Salesin, D., Stolfi, J.: Epsilon Geometry: Building Robust Algorithms from Imprecise Computations. In: Symposium on Computational Geometry, pp. 208\u2013217 (1989)","DOI":"10.1145\/73833.73857"},{"key":"9_CR22","unstructured":"van Iwaarden, R., Stolfi, J.: Affine arithmetic software (1997)"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS \u2013 A fast interval library. Computing\u00a053, 277\u2013288 (1994)","journal-title":"Computing"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Lin, M.C., Canny, J.F.: A fast algorithm for incremental distance calculation. In: Proc. IEEE Int. Conf. on Robotics and Automation, pp. 1008\u20131014 (1991)","DOI":"10.1109\/ROBOT.1991.131723"},{"key":"9_CR25","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-7091-6282-8_12","volume-title":"Perspectives on Enclosure Methods","author":"R. Lohner","year":"2001","unstructured":"Lohner, R.: On the Ubiquity of the Wrapping Effect in the Computation of the Error Bounds. In: Kulisch, U., Lohner, R., Facius, A. (eds.) Perspectives on Enclosure Methods, pp. 201\u2013217. Springer, Wien (2001)"},{"issue":"7","key":"9_CR26","first-page":"553","volume":"19","author":"R. Martin","year":"2002","unstructured":"Martin, R., Shou, H., Voiculescu, I., Bowyer, A., Wang, G.: Comparison of Interval Methods for Plotting Algebraic Curves. CAGD\u00a019(7), 553\u2013587 (2002)","journal-title":"CAGD"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/285857.285860","volume":"17","author":"B. Mirtich","year":"1998","unstructured":"Mirtich, B.: V-Clip: Fast and robust polyhedral collision detection. ACM Trans. Graphics\u00a017, 177\u2013208 (1998)","journal-title":"ACM Trans. Graphics"},{"key":"9_CR28","series-title":"Encyclopedia of Mathematics and its Applications","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Encyclopedia of Mathematics and its Applications, vol.\u00a037. Cambridge University Press, Cambridge (1990)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Sato, Y., Hirita, M., Maruyama, T., Arita, Y.: Efficient collision detection for convex and nonconvex objects. In: Proc. IEEE Int. Conf. Robotics and Automation, Minneapolis, MN, pp. 771\u2013777 (1996)","DOI":"10.1109\/ROBOT.1996.503867"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0167-8396(93)90019-Y","volume":"10","author":"E.C. Sherbrooke","year":"1993","unstructured":"Sherbrooke, E.C., Patrikalakis, N.M.: Computation of the solution of nonlinear polynomial systems. Computer Aided Geometric Design\u00a010, 379\u2013405 (1993)","journal-title":"Computer Aided Geometric Design"},{"key":"9_CR31","unstructured":"Stolte, N., Kaufman, A.: Parallel spatial enumeration of implicit surfaces using interval arithmetic for octree generation and its direct visualization. In: Implicit Surfaces 1988, pp. 81\u201388 (1998)"},{"key":"9_CR32","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/978-1-4471-0495-7_24","volume-title":"The Mathematics of Surfaces","author":"I. Voiculescu","year":"2000","unstructured":"Voiculescu, I., Berchtold, J., Bowyer, A., Martin, R., Zhang, Q.: Interval and affine arithmetic for surface location of power- and Bernstein-Form polynomials. In: Cipolla, R., Martin, R. (eds.) The Mathematics of Surfaces, vol.\u00a0IX, pp. 410\u2013423. Springer, Heidelberg (2000)"},{"key":"9_CR33","first-page":"653","volume-title":"CRC Handbook in Computational Geometry","author":"C.K. Yap","year":"1997","unstructured":"Yap, C.K.: Robust geometric computation. In: Goodman, J.E., O\u2019Rourke, J. (eds.) CRC Handbook in Computational Geometry, pp. 653\u2013668. CRC Press, Boca Raton (1997)"}],"container-title":["Lecture Notes in Computer Science","Numerical Software with Result Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24738-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:33:31Z","timestamp":1559928811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}