{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:09:05Z","timestamp":1743070145854,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031150760"},{"type":"electronic","value":"9783031150777"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15077-7_3","type":"book-chapter","created":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T05:02:57Z","timestamp":1661144577000},"page":"44-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of\u00a0Rigorous Floating-Point Predicates"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1385-7495","authenticated-orcid":false,"given":"Thanh Son","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7829-991X","authenticated-orcid":false,"given":"Ben","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7946-0162","authenticated-orcid":false,"given":"Zvonimir","family":"Rakamari\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Bartels, T., Fisikopoulos, V.: Fast robust arithmetics for geometric algorithms and applications to GIS. Int. Arch. Photogramm. Remote Sens. Spat. Inf. Sci. 46, 1\u20138 (2021). https:\/\/doi.org\/10.5194\/isprs-archives-XLVI-4-W2-2021-1-2021","DOI":"10.5194\/isprs-archives-XLVI-4-W2-2021-1-2021"},{"issue":"1\u20132","key":"3_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0166-218X(00)00231-6","volume":"109","author":"H Br\u00f6nnimann","year":"2001","unstructured":"Br\u00f6nnimann, H., Burnikel, C., Pion, S.: Interval arithmetic yields efficient dynamic filters for computational geometry. Discrete Appl. Math. 109(1\u20132), 25\u201347 (2001). https:\/\/doi.org\/10.1016\/S0166-218X(00)00231-6","journal-title":"Discrete Appl. Math."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Darulova, E., Kuncak, V.: Sound compilation of reals. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 235\u2013248. ACM, NY (2014)","DOI":"10.1145\/2535838.2535874"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"TJ Dekker","year":"1971","unstructured":"Dekker, T.J.: A floating-point technique for extending the available precision. Numer. Math. 18(3), 224\u2013242 (1971). https:\/\/doi.org\/10.1007\/BF01397083","journal-title":"Numer. Math."},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-04570-7_6","volume-title":"Formal Methods for Industrial Critical Systems","author":"D Delmas","year":"2009","unstructured":"Delmas, D., Goubault, E., Putot, S., Souyris, J., Tekkal, K., V\u00e9drine, F.: Towards an industrial use of FLUCTUAT on safety-critical avionics software. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 53\u201369. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04570-7_6"},{"key":"3_CR6","unstructured":"Devillers, O., Pion, S.: Efficient exact geometric predicates for Delaunay triangulations. Ph.D. thesis, INRIA (2002)"},{"issue":"5","key":"3_CR7","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1016\/0305-0548(86)90048-1","volume":"13","author":"F Glover","year":"1986","unstructured":"Glover, F.: Future paths for integer programming and links to artificial intelligence. Comput. Oper. Res. 13(5), 533\u2013549 (1986). https:\/\/doi.org\/10.1016\/0305-0548(86)90048-1","journal-title":"Comput. Oper. Res."},{"key":"3_CR8","unstructured":"Meyer, A., Pion, S.: FPG: a code generator for fast and certified geometric predicates. In: Real Numbers and Computers, pp. 47\u201360 (2008)"},{"key":"3_CR9","unstructured":"Moore., R.E.: Interval Analysis. Prentice-Hall (1966)"},{"key":"3_CR10","unstructured":"The GNU MPFR library. https:\/\/www.mpfr.org"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Nanevski, A., Blelloch, G., Harper, R.: Automatic generation of staged geometric predicates. In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, pp. 217\u2013228 (2001). https:\/\/doi.org\/10.1145\/507669.507662","DOI":"10.1145\/507669.507662"},{"key":"3_CR12","unstructured":"Pion, S.: Interval arithmetic: an efficient implementation and an application to computational geometry. In: Workshop on Applications of Interval Analysis to systems and Control (MISC) (1999)"},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"Rubio-Gonz\u00e1lez, C., et al.: Precimonious: tuning assistant for floating-point precision. In: Gropp, W., Matsuoka, S. (eds.) SC, p. 27. ACM (2013). https:\/\/doi.org\/10.1145\/2503210.2503296","DOI":"10.1145\/2503210.2503296"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Sanchez-Stern, A., Panchekha, P., Lerner, S., Tatlock, Z.: Finding root causes of floating point error. In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 256\u2013269 (2018). https:\/\/doi.org\/10.1145\/3192366.3192411","DOI":"10.1145\/3192366.3192411"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/PL00009321","volume":"18","author":"JR 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). https:\/\/doi.org\/10.1007\/PL00009321","journal-title":"Discrete Comput. Geom."},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/3230733","volume":"41","author":"A Solovyev","year":"2018","unstructured":"Solovyev, A., Baranowski, M.S., Briggs, I., Jacobsen, C., Rakamari\u0107, Z., Gopalakrishnan, G.: Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions. ACM Trans. Program. Lang. Syst. 41(1), 20 (2018). https:\/\/doi.org\/10.1145\/3230733","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR17","unstructured":"SymPy: A Python library for symbolic mathematics. https:\/\/www.sympy.org"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-319-73721-8_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"L Titolo","year":"2018","unstructured":"Titolo, L., Feli\u00fa, M.A., Moscato, M., Mu\u00f1oz, C.A.: An abstract interpretation framework for the round-off error analysis of floating-point programs. In: VMCAI 2018. LNCS, vol. 10747, pp. 516\u2013537. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73721-8_24"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15077-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,2]],"date-time":"2022-12-02T15:15:26Z","timestamp":1669994126000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15077-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031150760","9783031150777"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15077-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"23 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SPIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model Checking Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"spin2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/spin2022chi.web.illinois.edu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}