{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171651},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617853"},{"type":"electronic","value":"9783540706809"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014496","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:27Z","timestamp":1132733787000},"page":"191-202","source":"Crossref","is-referenced-by-count":21,"title":["The CGAL kernel: A basis for geometric computation"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Fabri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geert-Jan","family":"Giezeman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Kettner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schirra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Sch\u00f6nherr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"22_CR1","unstructured":"ANSI\/ISO C++ Standards Committee Working Paper for Draft Proposed International Standard for Information Systems \u2014 Programming Language C++. Doc No: X3J16\/95-0087, WG21\/N0687. April 1995. ftp:\/\/research.att.com:\/dist\/c++std\/WP"},{"key":"22_CR2","unstructured":"F. Avnaim. C++GAL: A C++ library for geometric algorithms. 1994."},{"key":"22_CR3","volume-title":"Technical Report 2306","author":"F. Avnaim","year":"1994","unstructured":"F. Avnaim, J.D. Boissonnat, O. Devillers, F.P. Preparata, and M. Yvinec. Evaluating signs of determinants using single precision arithmetic. Technical Report 2306, INRIA Sophia-Antipolis, 1994."},{"key":"22_CR4","unstructured":"M.O. Benouamer, P. Jaillon, D. Michelucci, and J-M. Moreau. A \u201clazy\u201d solution to imprecision in computational geometry. In Proc. of the 5th Canadian Conference on Computational Geometry, pages 73\u201378, 1993."},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1016\/0167-8396(92)90044-P","volume":"9","author":"T.K. Dey","year":"1992","unstructured":"T.K. Dey, K. Sugihara, and C.L. Bajaj. Delaunay traingulations in three dimensions with finite precision arithmetic. Computer Aided Geometric Design, 9:457\u2013470, 1992.","journal-title":"Computer Aided Geometric Design"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/0022-0000(90)90019-H","volume":"40","author":"D. Dobkin","year":"1990","unstructured":"D. Dobkin and D. Silver. Applied computational geometry: Towards robust solutions of basic problems. Journal of Computer and System Sciences, 40:70\u201387, 1990.","journal-title":"Journal of Computer and System Sciences"},{"key":"22_CR7","volume-title":"Computer Graphics: Principles and Practice","author":"J. D. Foley","year":"1990","unstructured":"J. D. Foley, A. van Dam, S. K. Feiner, and J. F. Hughes. Computer Graphics: Principles and Practice. Addison-Wesley, Reading, MA, 1990."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"S. Fortune. Stable maintenance of point-set triangulations in two dimensions. In Proceedings of the 30th IEEE Symposium on Foundations of Computer Sience, pages 494\u2013499, 1989.","DOI":"10.1109\/SFCS.1989.63524"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"S. Fortune and C. van Wyk. Efficient exact arithmetic for computational geometry. In Proc. of the 9th ACM Symp. on Computational Geometry, pages 163\u2013172, 1993.","DOI":"10.1145\/160985.161015"},{"key":"22_CR10","unstructured":"S. Fortune and C. van Wyk. LN user manual. 1993."},{"key":"22_CR11","unstructured":"G.-J. Giezeman. PlaGeo, a library for planar geometry, and SpaGeo, a library for spatial geometry. 1994."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"L. Guibas, D. Salesin, and J. Stolfi. Epsilon geometry: Building robust algorithms from imprecise computations. In Proc. of the 5th ACM Symp. on Computational Geometry, pages 208\u2013217, 1989.","DOI":"10.1145\/73833.73857"},{"key":"22_CR13","first-page":"223","volume-title":"13th World Computer Congress IFIP94, volume 1","author":"K. Mehlhorn","year":"1994","unstructured":"K. Mehlhorn and S. N\u00e4her. The implementation of geometric algorithms. In 13th World Computer Congress IFIP94, volume 1, pages 223\u2013231. Elsevier Science B.V. North-Holland, Amsterdam, 1994."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"K. Mehlhorn, S. N\u00e4her, T. Schilz, S. Schirra, R. Scidel, M. Seel, and C. Uhrig. Checking geometric programs or verification of geometric structures. Proceedings of 12th Annual ACM Symp. on Computational Geometry, pages 159\u2013165, 1996.","DOI":"10.1145\/237218.237344"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0004-3702(88)90061-6","volume":"37","author":"V. Milenkovic","year":"1988","unstructured":"V. Milenkovic. Verifiable implementations of geometric algorithms using finite precision arithmetic. Artificial Intelligence, 37:377\u2013401, 1988.","journal-title":"Artificial Intelligence"},{"key":"22_CR16","unstructured":"D.R. Musser, A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, 1996."},{"key":"22_CR17","unstructured":"S. N\u00e4her and C. Uhrig. The LEDA User Manual, Version R 3.2. Technical Report MPI-I-95-1-002, Max-Planck-Institut f\u00fcr Informatik, 1995."},{"key":"22_CR18","unstructured":"B. Serpette, J. Vuillemin, and J.C. Herv\u00e9. BigNum, a portable and efficient package for arbitrary-precision arithmetic. Technical Report Research Report 2, Digital Paris Research Laboratory, 1989."},{"key":"22_CR19","unstructured":"A. Stepanov, M. Lee. The Standard Template Library. July 1995. http:\/\/www.cs.rpi.edu\/\u223cmusser\/stl.html"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Ken Turkowski. Properties of surface-normal transformations. In Andrew S. Glassner, editor, Graphics Gems, pages 539\u2013547. 1990.","DOI":"10.1016\/B978-0-08-050753-8.50118-2"},{"key":"22_CR21","unstructured":"C.K. Yap. Towards exact geometric computation. In Proc. of the 5th Canadian Conference on Computational Geometry, pages 405\u2013419, 1993."}],"container-title":["Lecture Notes in Computer Science","Applied Computational Geometry Towards Geometric Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:40:54Z","timestamp":1586580054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014496"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617853","9783540706809"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0014496","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}