{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:46:37Z","timestamp":1777949197221,"version":"3.51.4"},"publisher-location":"Singapore","reference-count":11,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819578252","type":"print"},{"value":"9789819578269","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-981-95-7826-9_5","type":"book-chapter","created":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T22:06:04Z","timestamp":1777845964000},"page":"78-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["MPL\u2014A Flexible Multiprecision Library"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Tanner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5452-936X","authenticated-orcid":false,"given":"Christoph","family":"Haase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Barbosa, H., et al.: cvc5: a versatile and industrial-strength SMT solver. In: Fisman, D., Rosu, G., (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 415\u2013442. Springer, Cham (2022)","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bareiss, E.H.: Sylvester\u2019s identity and multistep integer-preserving gaussian elimination. Math. Comput. 22(103), 565\u2013578 (1968). http:\/\/www.jstor.org\/stable\/2004533","DOI":"10.1090\/S0025-5718-1968-0226829-0"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Griggio, A., Schaafsma, B.J., Sebastiani, R.: The MathSAT5 SMT solver. In: Piterman, N., Smolka, S.A. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 93\u2013107. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"de\u00a0Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.)Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"5_CR5","unstructured":"Granlund, T., The GMP Development Team: GNU MP: The GNU Multiple Precision Arithmetic Library, 6.2.1 edition (2023). http:\/\/gmplib.org\/"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Grosser, T., et al.: Fast linear programming through transprecision computing on small and sparse data. Proc. ACM Program. Lang. 4(OOPSLA), 195 (2020)","DOI":"10.1145\/3428263"},{"key":"5_CR7","unstructured":"Haible, B., Kreckel, R.B.: CLN, a Class Library for Numbers, 1.3.6 edition (2022). https:\/\/www.ginac.de\/CLN\/"},{"key":"5_CR8","unstructured":"Li, Z., Ma, Y., Vajiac, C., Zhang, Y.: Exploration of numerical precision in deep neural networks (2018). http:\/\/arxiv.org\/abs\/1805.01078"},{"key":"5_CR9","unstructured":"Ormrod, N.: The strange details of std::string at Facebook. https:\/\/www.youtube.com\/watch?v=kPR8h4-qZdk"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Pitchanathan, A., Ulmann, C., Weber, M., Hoefler, T., Grosser, T.: FPL: fast presburger arithmetic through transprecision. Proc. ACM Program. Lang. 5(OOPSLA) (2021). https:\/\/doi.org\/10.1145\/3485539","DOI":"10.1145\/3485539"},{"key":"5_CR11","unstructured":"Plauger, P.J., Lee, M., Musser, D., Stepanov, A.A.: C++ Standard Template Library, 1st edn. Prentice Hall PTR, USA (2000)"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-7826-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T22:06:06Z","timestamp":1777845966000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-7826-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819578252","9789819578269"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-7826-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oxford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.setta2025.uk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}