{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T02:45:05Z","timestamp":1725936305752},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319724522"},{"type":"electronic","value":"9783319724539"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-72453-9_2","type":"book-chapter","created":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T04:35:54Z","timestamp":1513744554000},"page":"19-33","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wilhelm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,21]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Benouamer, M.O., Jaillon, P., Michelucci, D., Moreau, J.: A lazy exact arithmetic. In: Proceedings of the 11th Symposium on Computer Arithmetic, pp. 242\u2013249 (1993)","DOI":"10.1109\/ARITH.1993.378086"},{"key":"2_CR2","unstructured":"Burnikel, C., Mehlhorn, K., Schirra, S.: The leda class real number (1996)"},{"key":"2_CR3","unstructured":"Dub\u00e9, T., Yap, C.: A basis for implementing exact geometric algorithms (extended abstract) (1993)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Fortune, S., van Wyk, C.J.: Efficient exact arithmetic for computational geometry. In: Proceedings of the Ninth Annual Symposium on Computational Geometry, pp. 163\u2013172 (1993)","DOI":"10.1145\/160985.161015"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Karamcheti, V., Li, C., Pechtchanski, I., Yap, C.: A core library for robust numeric and geometric computation. In: Proceedings of the Fifteenth Annual Symposium on Computational Geometry, SoCG, pp. 351\u2013359 (1999)","DOI":"10.1145\/304893.304989"},{"issue":"4","key":"2_CR6","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1007\/s11786-011-0086-1","volume":"4","author":"M M\u00f6rig","year":"2010","unstructured":"M\u00f6rig, M., R\u00f6ssling, I., Schirra, S.: On design and implementation of a generic number type for real algebraic number computations based on expression dags. Math. Comput. Sci. 4(4), 539\u2013556 (2010)","journal-title":"Math. Comput. Sci."},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-319-32859-1_39","volume-title":"Mathematical Aspects of Computer and Information Sciences","author":"M M\u00f6rig","year":"2016","unstructured":"M\u00f6rig, M., Schirra, S.: Precision-driven computation in the evaluation of expression-dags with common subexpressions: problems and solutions. In: Kotsireas, I.S., Rump, S.M., Yap, C.K. (eds.) MACIS 2015. LNCS, vol. 9582, pp. 451\u2013465. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-32859-1_39"},{"issue":"4","key":"2_CR8","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/j.scico.2010.09.003","volume":"76","author":"S Pion","year":"2011","unstructured":"Pion, S., Fabri, A.: A generic lazy evaluation scheme for exact geometric computations. Sci. Comput. Program. 76(4), 307\u2013323 (2011)","journal-title":"Sci. Comput. Program."},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1016\/B978-044482537-7\/50015-2","volume-title":"Handbook of Computational Geometry","author":"S Schirra","year":"2000","unstructured":"Schirra, S.: Robustness and precision issues in geometric computation. In: Sack, J.R., Urrutia, J. (eds.) Handbook of Computational Geometry, pp. 597\u2013632. Elsevier, Amsterdam (2000)"},{"key":"2_CR10","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. 7, 3\u201323 (1997)","journal-title":"Comput. Geom."},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-15582-6_24","volume-title":"Mathematical Software \u2013 ICMS 2010","author":"J Yu","year":"2010","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: Fukuda, K., Hoeven, J., Joswig, M., Takayama, N. (eds.) ICMS 2010. LNCS, vol. 6327, pp. 121\u2013141. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15582-6_24"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72453-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T04:36:21Z","timestamp":1513744581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72453-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319724522","9783319724539"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72453-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}