{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:20:21Z","timestamp":1725596421785},"publisher-location":"Vienna","reference-count":27,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211835937"},{"type":"electronic","value":"9783709162804"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-7091-6280-4_16","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T18:55:26Z","timestamp":1311015326000},"page":"163-172","source":"Crossref","is-referenced-by-count":12,"title":["Exact Computation with leda_real \u2014 Theory and Geometrie Applications"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Mehlhorn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schirra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Br\u00f6nniman, H., Kettner, L., Schirra, S., Veltkamp, R. (1998): Applications of the generic programming paradigm in the design of CGAL. Research Report MPI-I-98-1-030, Max-Planck-Insitut f\u00fcr Informatik"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Burnikel, C., Fleischer, R., Mehlhorn, K., Schirra, S. (1999): Companion page to \u201aEfficient exact geometric computation made easy\u2018. http:\/www.mpi-sb.mpg.de\/~stschirr\/exact\/made_easy","DOI":"10.1145\/304893.304988"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s004530010005","volume":"27","author":"C Burnikel","year":"2000","unstructured":"Burnikel, C., Fleischer, R., Mehlhorn, K., Schirra, S. (2000): A strong and easily computable separation bound for arithmetic expressions involving radicals. Algorithmica 27:87\u201399","journal-title":"Algorithmica"},{"key":"16_CR4","unstructured":"Burnikel, C., Mehlhorn, K., Schirra, S. (1996): The LEDA class real number. Research Report MPI-I-96-1-001, Max-Planck-Institut f\u00fcr Informatik. A more recent documentation ofthe implementation is available at http:\/\/www.mpi-sb.mpg.de\/~burnikel\/reports\/real.ps.gz."},{"key":"16_CR5","unstructured":"CGAL:http:\/\/www.cgal.org"},{"key":"16_CR6","unstructured":"Fabri, A., Giezeman, G.-J., Kettner, L., Schirra, S., Sch\u00f6nherr, S. (1998): On the design of CGAL, the computational geometry algorithms library. Research Report MPI-I-98-1-007, Max-Planck-Institut f\u00fcr Informatik"},{"key":"16_CR7","unstructured":"Fortune, S. (1993): Progress in computational geometry. In: Martin R., (ed.): Directions in Geometric Computing, pp. 81\u2013128. Information Geometers Ltd."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Hanniel, I., Halperin, D. (2000): Two-dimensional arrangements in CGAL and adaptive point location for parametrie curves. Manuscript. Tel-Aviv University, Israel","DOI":"10.1007\/3-540-44691-5_15"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/2.16223","volume":"3","author":"C Hoffmann","year":"1989","unstructured":"Hoffmann, C. (1989): The problem of accuracy and robustness in geometric computation. IEEE Computer 3:31\u201341","journal-title":"IEEE Computer"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Karamcheti, V., Li, C., Pechtanski, I., Yap, C.K. (1999): A core library for robust numeric and geometric computation. In: Proc. 15th Annu. ACM Sympos. Comput. Geom., pp. 351\u2013359","DOI":"10.1145\/304893.304989"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Keyser, J., Culver, T., Manocha, D., Krishnan, S. (1999): MAPC: A library for efficient and exact manipulation of algebraic points and curves. In: Proc. 15th Annu. ACM Sympos. Comput. Geom., pp. 360\u2013369. See also http:\/\/www.cs.unc.edu\/~geom\/MAPC","DOI":"10.1145\/304893.304990"},{"key":"16_CR12","unstructured":"LEDA:http:\/\/www.mpi-sb.mpg.de\/LEDA"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1145\/2157.322410","volume":"30","author":"N Megiddo","year":"1983","unstructured":"Megiddo, N. (1983): Applying parallel eomputation algorithms in the design of serial algorithms. Journal of the ACM 30:852\u2013865","journal-title":"Journal of the ACM"},{"key":"16_CR14","first-page":"223","volume-title":"The implementation of geometric algorithms","author":"K Mehlhorn","year":"1994","unstructured":"Mehlhorn, K, N\u00fcher, S. (1994): The implementation of geometric algorithms. In: Proceedings of the 13th IFIP World Computer Congress, vol. 1, pp. 223\u2013231. Elsevier Science B.V. North-Holland, Amsterdam"},{"key":"16_CR15","unstructured":"Mehlhorn, K, N\u00fcher, S. (2000):LEDA\u2013A Platform for Combinatorial and Geometric Computing. Cambridge University Press"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/BFb0082792","volume":"1346","author":"ME Mnev","year":"1989","unstructured":"Mnev, M.E. (1989): The universality theorems on the classification problem of configuration varieties and eonvex polytopes varieties. In: Topology and Geometry-Rohlin Seminar, Springer, pp. 527\u2013544 (Lecture Notes Math., vol. 1346)","journal-title":"Topology and Geometry-Rohlin Seminar, Springer"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Overmars, M. (1996): Designing the computational geometry algorithms library CGAL. In Lin, M.C., Manocha, D., (eds.): Applied Computational Geometry: Towards Geometric Engineering (WACG96), Springer, pp. 53\u201358 (Lecture Notes in Computer Science, vol. 1148)","DOI":"10.1007\/BFb0014484"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Preparata, F.P., Shamos, M.I. (1985): Computational Geometry: An Introduction. Springer","DOI":"10.1007\/978-1-4612-1098-6"},{"key":"16_CR19","unstructured":"Rege, A. (1996): APU User Manual\u2013Version 2.0. http:\/\/www.cs.berkeley.edu\/~rege\/apu\/apu.html"},{"key":"16_CR20","unstructured":"Salowe, J. (1997): Parametric search. In: Goodman, J.E., Rourke, J.O. (eds.): Handbook of Discrete and Computational Geometry, pp. 683\u2013698, CRC Press"},{"key":"16_CR21","unstructured":"Schirra, S. (2000): Robustness and Precision Issues in Geometric Computation. In: Sack, J.-R., Urrutia, J. (eds.): Handbook of Computational Geometry, Elsevier, pp. 597\u2013632"},{"key":"16_CR22","unstructured":"Schirra, S. (1999): A case study on the cost of geometric eomputing. In: McGeoeh C.G, Goodrich M. (eds.): Algorithm Engineering and Experimentation (ALENEX\u201999), Springer pp. 156\u2013176 (Lecture Notes in Computer Science, vol. 1619)"},{"key":"16_CR23","unstructured":"Seel, M.: Abstract Voronoi Diagrams. http:\/\/www.mpi-sb.mpg.de\/LEDA\/friends\/avd.html"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Schwerdt, J., Smid, M., Schirra, S. (1997): Computing the Minimum Diameter for Moving Points: An Exact Implementation using Parametric Search. In: Proc. of the 13th ACM Symp. on Computational Geometry, ACM Press, pp. 466\u2013468.","DOI":"10.1145\/262839.263087"},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0925-7721(95)00040-2","volume":"7","author":"C Yap","year":"1997","unstructured":"Yap, C.K (1997a): Towards exact geometric computation. Comput. Geom. Theory Appl., 7:3\u201323","journal-title":"Comput. Geom. Theory Appl."},{"key":"16_CR26","unstructured":"Yap, C.K (1997b): Robust geometric computation. In: Goodman, J.E., Rourke, J.O. (eds.): Handbook of Discrete and Computational Geometry, pp. 653\u2013668, CRC Press"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Yap, C.K, Dub\u00e9, T. (1995): The exact eomputation paradigm. In: Du, D., Hwang, F. (eds.), Computing in Euclidean Geometry, 2nd edition, World Scientific Press, pp. 452\u2013492","DOI":"10.1142\/9789812831699_0011"}],"container-title":["Symbolic Algebraic Methods and Verification Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6280-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:32:35Z","timestamp":1606123955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6280-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783211835937","9783709162804"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6280-4_16","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}