{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T06:24:44Z","timestamp":1648535084863},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T00:00:00Z","timestamp":1291161600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s11786-011-0086-1","type":"journal-article","created":{"date-parts":[[2011,9,24]],"date-time":"2011-09-24T04:11:40Z","timestamp":1316837500000},"page":"539-556","source":"Crossref","is-referenced-by-count":4,"title":["On Design and Implementation of a Generic Number Type for Real Algebraic Number Computations Based on Expression Dags"],"prefix":"10.1007","volume":"4","author":[{"given":"Marc","family":"M\u00f6rig","sequence":"first","affiliation":[]},{"given":"Ivo","family":"R\u00f6ssling","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Schirra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,25]]},"reference":[{"key":"86_CR1","volume-title":"Modern C++ design: generic programming and design patterns applied","author":"A. Alexandrescu","year":"2001","unstructured":"Alexandrescu A.: Modern C++ design: generic programming and design patterns applied. Addison-Wesley Longman Publishing Co. Inc., Boston (2001)"},{"key":"86_CR2","unstructured":"boost C++ Libraries. http:\/\/www.boost.org\/"},{"key":"86_CR3","doi-asserted-by":"crossref","unstructured":"Burnikel, C., Fleischer, R., Mehlhorn, K., Schirra, S.: Efficient exact geometric computation made easy. In: 15th ACM Symposium on Computational Geometry (SCG\u201999), pp. 341\u2013350. ACM, New York (1999)","DOI":"10.1145\/304893.304988"},{"issue":"1","key":"86_CR4","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/s00453-007-9132-4","volume":"55","author":"C. Burnikel","year":"2009","unstructured":"Burnikel C., Funke S., Mehlhorn K., Schirra S., Schmitt S.: A separation bound for real algebraic expressions. Algorithmica 55(1), 14\u201328 (2009)","journal-title":"Algorithmica"},{"key":"86_CR5","unstructured":"CGAL: Computational Geometry Algorithms Library http:\/\/www.cgal.org\/"},{"issue":"2","key":"86_CR6","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"T.J. Dekker","year":"1971","unstructured":"Dekker T.J.: A floating-point technique for extending the available precision. Num. Math. 18(2), 224\u2013242 (1971)","journal-title":"Num. Math."},{"key":"86_CR7","unstructured":"Du, Z.: Guaranteed precision for transcendental and algebraic computation made easy. PhD thesis, Courant Institute of Mathematical Sciences, New York University, May 2006"},{"issue":"3","key":"86_CR8","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.comgeo.2004.12.007","volume":"31","author":"S. Funke","year":"2005","unstructured":"Funke S., Mehlhorn K., N\u00e4her S.: Structural filtering: a paradigm for efficient and exact geometric programs. Comput. Geometry 31(3), 179\u2013194 (2005)","journal-title":"Comput. Geometry"},{"key":"86_CR9","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma E., Helm R., Johnson R., Vlissides J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"86_CR10","unstructured":"GMP: The GNU multiple precision arithmetic library. http:\/\/www.gmplib.org\/"},{"issue":"1","key":"86_CR11","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/363707.363723","volume":"8","author":"W. Kahan","year":"1965","unstructured":"Kahan W.: Further remarks on reducing truncation errors. Commun. ACM 8(1), 40 (1965)","journal-title":"Commun. ACM"},{"key":"86_CR12","doi-asserted-by":"crossref","unstructured":"Karamcheti, V., Li, C., Pechtchanski, I., Yap, C.: A core library for robust numeric and geometric computation. In: 15th ACM Symposium on Computational Geometry (SCG\u201999), pp. 351\u2013359. ACM, New York (1999)","DOI":"10.1145\/304893.304989"},{"key":"86_CR13","volume-title":"Seminumerical algorithms. The Art of Computer Programming, vol. 2","author":"D.E. Knuth","year":"1997","unstructured":"Knuth D.E.: Seminumerical algorithms. The Art of Computer Programming, vol. 2, 3rd edn. Addison-Wesley, Reading (1997)","edition":"3"},{"key":"86_CR14","unstructured":"LEDA: Library of Efficient Data Structures and Algorithms. http:\/\/www.algorithmic-solutions.com\/"},{"key":"86_CR15","unstructured":"Li, C., Yap, C.: A new constructive root bound for algebraic expressions. In: SODA \u201901: Proceedings of the Twelfth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 496\u2013505, Philadelphia, PA, USA. Society for Industrial and Applied Mathematics (2001)"},{"key":"86_CR16","doi-asserted-by":"crossref","unstructured":"M\u00f6rig, M.: Deferring dag construction by storing sums of floats speeds-up exact decision computations based on expression dags. In: 3rd International Congress on Mathematical Software (ICMS 2010). LNCS, vol. 6327, pp. 109\u2013120, September 2010","DOI":"10.1007\/978-3-642-15582-6_23"},{"key":"86_CR17","unstructured":"M\u00f6rig, M., Schirra, S.: On the design and performance of reliable geometric predicates using error-free transformations and exact sign of sum algorithms. In: 19th Canadian Conference on Computational Geometry (CCCG\u201907), pp. 45\u201348, August 2007"},{"key":"86_CR18","unstructured":"MPFR: A multiple precision floating-point library. http:\/\/www.mpfr.org\/"},{"key":"86_CR19","doi-asserted-by":"crossref","unstructured":"Muller, J.-M., Brisebarre, N., de Dinechin, F., Jeannerod, C.-P., Lef\u00e8vre, V., Melquiond, G., Revol, N., Stehl\u00e9, D., Torres, S.: Handbook of Floating-Point Arithmetic. Birkh\u00e4user Boston 2010","DOI":"10.1007\/978-0-8176-4705-6"},{"issue":"6","key":"86_CR20","doi-asserted-by":"crossref","first-page":"1955","DOI":"10.1137\/030601818","volume":"26","author":"T. Ogita","year":"2005","unstructured":"Ogita T., Rump S.M., Oishi S.: Accurate sum and dot product. SIAM J. Sci. Comput. 26(6), 1955\u20131988 (2005)","journal-title":"SIAM J. Sci. Comput."},{"key":"86_CR21","doi-asserted-by":"crossref","unstructured":"Pion, S., Yap, C.: Constructive root bound for k-ary rational input numbers. In: Proceedings of the 19th ACM Symposium on Computational Geometry, pp. 256\u2013263. ACM Press, San Diego, January 2003","DOI":"10.1145\/777792.777831"},{"key":"86_CR22","unstructured":"RealAlgebraic: A number type for exact geometric computation. http:\/\/www.isg.cs.uni-magdeburg.de\/ag\/RealAlgebraic\/"},{"key":"86_CR23","doi-asserted-by":"crossref","unstructured":"Schirra, S.: Much Ado about Zero. In: Efficient Algorithms. LNCS, vol. 5760, pp. 408\u2013421, September 2009","DOI":"10.1007\/978-3-642-03456-5_27"},{"issue":"3","key":"86_CR24","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/PL00009321","volume":"18","author":"J.R. Shewchuk","year":"1997","unstructured":"Shewchuk J.R.: Adaptive precision floating-point arithmetic and fast robust geometric predicates. Discrete Comput. Geom. 18(3), 305\u2013363 (1997)","journal-title":"Discrete Comput. Geom."},{"key":"86_CR25","unstructured":"Shewchuk, J.R.: http:\/\/www.cs.cmu.edu\/~quake\/robust.html (1997)"},{"issue":"1-2","key":"86_CR26","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0925-7721(95)00040-2","volume":"7","author":"C. Yap","year":"1997","unstructured":"Yap C.: Towards exact geometric computation. Comput. Geom. Theory Appl. 7(1-2), 3\u201323 (1997)","journal-title":"Comput. Geom. Theory Appl."},{"key":"86_CR27","doi-asserted-by":"crossref","unstructured":"Yap, C.-K.: Robust geometric computation. In: Goodman, J.E., O\u2019Rourke, J. (eds.) Handbook of Discrete and Computational Geometry, chap. 41, 2nd edn., pp. 927\u2013952. Chapman & Hall\/CRC (2004)","DOI":"10.1201\/9781420035315.ch41"},{"key":"86_CR28","doi-asserted-by":"crossref","unstructured":"Yu, J., Yap, C., Du, Z., Pion, S., Br\u00f6nnimann, H.: The design of Core 2: a library for exact numeric computation in geometry and algebra. In: 3rd International Congress on Mathematical Software (ICMS 2010). LNCS, vol. 6327, September 2010","DOI":"10.1007\/978-3-642-15582-6_24"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-011-0086-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-011-0086-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-011-0086-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T09:42:46Z","timestamp":1560678166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-011-0086-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["86"],"URL":"https:\/\/doi.org\/10.1007\/s11786-011-0086-1","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12]]}}}