{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T05:10:42Z","timestamp":1760073042096,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031304446"},{"type":"electronic","value":"9783031304453"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-30445-3_35","type":"book-chapter","created":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T09:02:52Z","timestamp":1682499772000},"page":"415-427","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Cross-Platform Benchmark for\u00a0Interval Computation Libraries"],"prefix":"10.1007","author":[{"given":"Xuan","family":"Tang","sequence":"first","affiliation":[]},{"given":"Zachary","family":"Ferguson","sequence":"additional","affiliation":[]},{"given":"Teseo","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Denis","family":"Zorin","sequence":"additional","affiliation":[]},{"given":"Shoaib","family":"Kamil","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Panozzo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,4,27]]},"reference":[{"key":"35_CR1","doi-asserted-by":"publisher","unstructured":"Abrams, S., et al.: Efficient and reliable methods for rounded-interval arithmetic. Comput.-Aid. Des. 30(8), 657\u2013665 (1998). https:\/\/doi.org\/10.1016\/S0010-4485(97)00086-9, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0010448597000869","DOI":"10.1016\/S0010-4485(97)00086-9"},{"key":"35_CR2","unstructured":"Benet, L., Sanders, D.: Juliaintervals.jl package - Rigorous numerics with interval arithmetic & applications (2015). https:\/\/github.com\/JuliaIntervals\/IntervalArithmetic.jl"},{"key":"35_CR3","doi-asserted-by":"publisher","unstructured":"Benhamou, F., Older, W.J.: Applying interval arithmetic to real, integer, and Boolean constraints. J. Logic Program.  32(1), 1\u201324 (1997). https:\/\/doi.org\/10.1016\/S0743-1066(96)00142-2, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0743106696001422","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"35_CR4","doi-asserted-by":"publisher","unstructured":"Br\u00f6nnimann, H., Melquiond, G., Pion, S.: The design of the Boost interval arithmetic library. Theor.l Comput. Sci. 351(1), 111\u2013118 (2006). https:\/\/doi.org\/10.1016\/j.tcs.2005.09.062, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397505006110, real Numbers and Computers","DOI":"10.1016\/j.tcs.2005.09.062"},{"key":"35_CR5","unstructured":"Chabert, G.: IBEX (2007). http:\/\/www.ibex-lib.org\/"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-319-54292-8_6","volume-title":"Numerical Software Verification","author":"N Damouche","year":"2017","unstructured":"Damouche, N., Martel, M., Panchekha, P., Qiu, C., Sanchez-Stern, A., Tatlock, Z.: Toward a standard benchmark format and suite for floating-point analysis. In: Bogomolov, S., Martel, M., Prabhakar, P. (eds.) NSV 2016. LNCS, vol. 10152, pp. 63\u201377. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-54292-8_6"},{"key":"35_CR7","doi-asserted-by":"publisher","unstructured":"Goldberg, D.: What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23(1), 5\u201348 (1991). https:\/\/doi.org\/10.1145\/103162.103163","DOI":"10.1145\/103162.103163"},{"key":"35_CR8","unstructured":"Goualard, F.: Gaol: NOT Just Another Interval Library (2005). https:\/\/sourceforge.net\/projects\/gaol\/"},{"key":"35_CR9","unstructured":"Granlund, T., Team, G.D.: GNU MP 6.0 Multiple Precision Arithmetic Library. Samurai Media Limited, London, GBR (2015)"},{"key":"35_CR10","unstructured":"Harrison, J., Tak, P., Tang, P.: The Computation of Transcendental Functions on the IA-64 Architecture. Intel Technol. J. 4, 234\u2013251 (1999)"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/3-540-40922-X_14","volume-title":"Formal Methods in Computer-Aided Design","author":"J Harrison","year":"2000","unstructured":"Harrison, J.: Formal verification of floating point trigonometric functions. In: Hunt, W.A., Johnson, S.D. (eds.) FMCAD 2000. LNCS, vol. 1954, pp. 254\u2013270. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-40922-X_14"},{"key":"35_CR12","doi-asserted-by":"publisher","unstructured":"Hickey, T., Ju, Q., Van\u00a0Emden, M.H.: Interval arithmetic: from principles to implementation. J. ACM 48(5), 1038\u20131068 (2001). https:\/\/doi.org\/10.1145\/502102.502106","DOI":"10.1145\/502102.502106"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-24738-8_2","volume-title":"Numerical Software with Result Verification","author":"W Hofschuster","year":"2004","unstructured":"Hofschuster, W., Kr\u00e4mer, W.: C-XSC 2.0 \u2013 A C++ library for extended scientific computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification. LNCS, vol. 2991, pp. 15\u201335. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24738-8_2"},{"key":"35_CR14","doi-asserted-by":"publisher","unstructured":"IEEE: IEEE standard for binary floating-point arithmetic. ANSI\/IEEE Std 754\u20131985, pp. 1\u201320 (1985). https:\/\/doi.org\/10.1109\/IEEESTD.1985.82928","DOI":"10.1109\/IEEESTD.1985.82928"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Kearfott, R.: Interval computations: introduction, uses, and resources. Euromath Bulletin 2 (1996)","DOI":"10.1007\/978-1-4613-3440-8_1"},{"key":"35_CR16","doi-asserted-by":"publisher","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS\u2014A fast interval library. Computing 53(3), 277\u2013287 (1994). https:\/\/doi.org\/10.1007\/BF02307379","DOI":"10.1007\/BF02307379"},{"key":"35_CR17","doi-asserted-by":"publisher","unstructured":"Lefevre, V., Muller, J.: Worst cases for correct rounding of the elementary functions in double precision. In: Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp. 111\u2013118 (2001). https:\/\/doi.org\/10.1109\/ARITH.2001.930110","DOI":"10.1109\/ARITH.2001.930110"},{"key":"35_CR18","doi-asserted-by":"publisher","unstructured":"Lerch, M., Tischler, G., Gudenberg, J.W.V., Hofschuster, W., Kr\u00e4mer, W.: FILIB++, a fast interval library supporting containment computations. ACM Trans. Math. Softw. 32(2), 299\u2013324 (2006). https:\/\/doi.org\/10.1145\/1141885.1141893","DOI":"10.1145\/1141885.1141893"},{"key":"35_CR19","unstructured":"Poppe, M.: interval-arithmetic (2015). https:\/\/github.com\/mauriciopoppe\/interval-arithmetic"},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Redon, S., Kheddar, A., Coquillart, S.: Fast Continuous Collision Detection between Rigid Bodies. Comput. Graphics Forum 21 (2002)","DOI":"10.1111\/1467-8659.t01-1-00587"},{"key":"35_CR21","unstructured":"Schling, B.: The Boost C++ Libraries. XML Press (2011)"},{"key":"35_CR22","doi-asserted-by":"crossref","unstructured":"Snyder, J.: Interval Analysis For Computer Graphics. In: ACM SIGGRAPH, pp. 121\u2013130. ACM (August 1992). https:\/\/www.microsoft.com\/en-us\/research\/publication\/interval-analysis-computer-graphics\/","DOI":"10.1145\/133994.134024"},{"key":"35_CR23","doi-asserted-by":"crossref","unstructured":"Snyder, J.M., Woodbury, A.R., Fleischer, K., Currin, B., Barr, A.H.: Interval Methods for multi-point collisions between time-dependent curved surfaces. In: Proceedings of the 20th Annual Conference on Computer Graphics and Interactive Techniques, pp. 321\u2013334. SIGGRAPH \u201993, Association for Computing Machinery, New York, NY, USA (1993)","DOI":"10.1145\/166117.166158"},{"key":"35_CR24","unstructured":"The CGAL Project: CGAL User and Reference Manual. CGAL Editorial Board, 5.3 edn. (2021). https:\/\/doc.cgal.org\/5.3\/Manual\/packages.html"},{"key":"35_CR25","doi-asserted-by":"crossref","unstructured":"Tibken, B., Hofer, E.P., Seibold, W.: Quality control of valve push rods using interval arithmetic. IFAC Proc.  32(2), 409\u2013412 (1999), 14th IFAC World Congress 1999, Beijing, Chia, 5\u20139 July","DOI":"10.1016\/S1474-6670(17)56070-X"},{"key":"35_CR26","doi-asserted-by":"crossref","unstructured":"Wang, B., Ferguson, Z., Schneider, T., Jiang, X., Attene, M., Panozzo, D.: A large scale benchmark and an inclusion-based algorithm for continuous collision detection. ACM Trans. Graphics 40(5) (2021)","DOI":"10.1145\/3460775"},{"key":"35_CR27","unstructured":"Wolfram Research Inc.: Mathematica 12.0 (2020). http:\/\/www.wolfram.com"},{"key":"35_CR28","doi-asserted-by":"publisher","unstructured":"Zorin, D.: A method for analysis of C1-continuity of subdivision surfaces. SIAM J. Num. Anal. 37(5), 1677\u20131708 (2000). https:\/\/doi.org\/10.1137\/s003614299834263x","DOI":"10.1137\/s003614299834263x"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-30445-3_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T04:44:33Z","timestamp":1760071473000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-30445-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031304446","9783031304453"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-30445-3_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"27 April 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PPAM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Parallel Processing and Applied Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gdansk","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ppam2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ppam.edu.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}