{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:02:51Z","timestamp":1786978971419,"version":"3.56.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319424316","type":"print"},{"value":"9783319424323","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42432-3_29","type":"book-chapter","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T11:12:09Z","timestamp":1467717129000},"page":"232-240","source":"Crossref","is-referenced-by-count":31,"title":["CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications"],"prefix":"10.1007","author":[{"given":"Mioara","family":"Joldes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valentina","family":"Popescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Warwick","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,7,6]]},"reference":[{"key":"29_CR1","unstructured":"NVIDIA, NVIDIA CUDA Programming Guide 5.5 (2013)"},{"key":"29_CR2","unstructured":"IEEE Computer Society, IEEE Standard for Floating-Point Arithmetic, IEEE Standard 754-2008, August 2008. http:\/\/ieeexplore.ieee.org\/servlet\/opac?punumber=4610933"},{"issue":"4","key":"29_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/2693714.2693726","volume":"42","author":"M Joldes","year":"2014","unstructured":"Joldes, M., Popescu, V., Tucker, W.: Searching for sinks for the Hnon map using a multiple-precision GPU arithmetic library. SIGARCH Comput. Archit. News 42(4), 63\u201368 (2014)","journal-title":"SIGARCH Comput. Archit. News"},{"issue":"7248","key":"29_CR4","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1038\/nature08096","volume":"459","author":"J Laskar","year":"2009","unstructured":"Laskar, J., Gastineau, M.: Existence of collisional trajectories of Mercury, Mars and Venus with the Earth. Nature 459(7248), 817\u2013819 (2009)","journal-title":"Nature"},{"key":"29_CR5","first-page":"132","volume-title":"Proceedings of the 10th IEEE Symposium on Computer Arithmetic (Arith-10)","author":"DH Priest","year":"1991","unstructured":"Priest, D.H.: Algorithms for arbitrary precision floating point arithmetic. In: Kornerup, P., Matula, D.W. (eds.) Proceedings of the 10th IEEE Symposium on Computer Arithmetic (Arith-10), pp. 132\u2013144. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"29_CR6","unstructured":"Fousse, L., Hanrot, G., Lef\u00e8vre, V., P\u00e9lissier, P., Zimmermann, P.: MPFR: a multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2) (2007). Art. 13, 115"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Hida, Y., Li, X.S., Bailey, D.H.: Algorithms for quad-double precision floating-point arithmetic. In: Burgess, N., Ciminiera, L. (eds.) Proceedings of the 15th IEEE Symposium on Computer Arithmetic (ARITH-16), Vail, CO, pp. 155\u2013162, June 2001","DOI":"10.1109\/ARITH.2001.930115"},{"issue":"2","key":"29_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1080\/10586458.2010.10129070","volume":"19","author":"HD Mittelmann","year":"2010","unstructured":"Mittelmann, H.D., Vallentin, F.: High-accuracy semidefinite programming bounds for kissing numbers. Exp. Math. 19(2), 175\u2013179 (2010)","journal-title":"Exp. Math."},{"key":"29_CR9","series-title":"International Series in Operations Research & Management Science","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/978-1-4614-0769-0_24","volume-title":"Handbook on Semidefinite, Conic and Polynomial Optimization","author":"M Yamashita","year":"2012","unstructured":"Yamashita, M., Fujisawa, K., Fukuda, M., Kobayashi, K., Nakata, K., Nakata, M.: Latest Developments in the SDPA Family for Solving Large-Scale SDPs. In: Anjos, M.F., Lasserre, J.B. (eds.) Handbook on Semidefinite, Conic and Polynomial Optimization. International Series in Operations Research & Management Science, vol. 166, pp. 687\u2013713. Springer, US (2012)"},{"key":"29_CR10","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, ACM G.1.0; G.1.2; G.4; B.2.0; B.2.4; F.2.1. ISBN 978-0-8176-4704-9"},{"issue":"1","key":"29_CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1137\/050645671","volume":"31","author":"SM Rump","year":"2008","unstructured":"Rump, S.M., Ogita, T., Oishi, S.: Accurate floating-point summation part I: faithful rounding. SIAM J. Sci. Comput. 31(1), 189\u2013224 (2008)","journal-title":"SIAM J. Sci. Comput."},{"issue":"4","key":"29_CR12","doi-asserted-by":"crossref","first-page":"1197","DOI":"10.1109\/TC.2015.2441714","volume":"65","author":"M Joldes","year":"2016","unstructured":"Joldes, M., Marty, O., Muller, J.-M., Popescu, V.: Arithmetic algorithms for extended precision using floating-point expansions. IEEE Trans. Comput. 65(4), 1197\u20131210 (2016)","journal-title":"IEEE Trans. Comput."},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Muller, J.-M., Popescu, V., Tak, P., Tang, P.: A new multiplication algorithm for extended precision using floating-point expansions. In: Proceedings of the 23rd Symposium on Computer Arithmetic (ARITH-23), July 2016, to appear","DOI":"10.1109\/ARITH.2016.18"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Nakata, M.: A numerical evaluation of highly accurate multiple-precision arithmetic version of semidefinite programming solver: SDPA-GMP, -QD and -DD. In: 2010 IEEE International Symposium on Computer-Aided Control System Design (CACSD). IEEE (2010)","DOI":"10.1109\/CACSD.2010.5612693"},{"key":"29_CR15","unstructured":"The Coq Development team. The Coq proof assistant referencemanual, Inria, Version 8.0 (2004). http:\/\/coq.inria.fr"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42432-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T13:51:37Z","timestamp":1498312297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42432-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319424316","9783319424323"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42432-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}