{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:59Z","timestamp":1725558959954},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144028"},{"type":"electronic","value":"9783642144035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14403-5_46","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T13:01:33Z","timestamp":1278507693000},"page":"436-445","source":"Crossref","is-referenced-by-count":8,"title":["Remarks on Algorithms Implemented in Some C++ Libraries for Floating-Point Conversions and Interval Arithmetic"],"prefix":"10.1007","author":[{"given":"Malgorzata A.","family":"Jankowska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"Fog, A.: Calling conventions for different C++ compilers and operating systems, Copenhagen University College of Engineering (last updated in 2008), http:\/\/www.agner.org\/optimize\/"},{"key":"46_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1007\/978-3-540-68111-3_144","volume-title":"Parallel Processing and Applied Mathematics","author":"K. Gajda","year":"2008","unstructured":"Gajda, K., Jankowska, M., Marciniak, A., Szyszka, B.: A Survey of Interval Runge-Kutta and Multistep Methods for Solving the Initial Value Problem. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) PPAM 2007. LNCS, vol.\u00a04967, pp. 1361\u20131371. Springer, Heidelberg (2008)"},{"key":"46_CR3","volume-title":"Numerical Toolbox for Verified Computing I. Basic Numerical Problems","author":"R. Hammer","year":"1993","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I. Basic Numerical Problems. Springer, Berlin (1993)"},{"key":"46_CR4","unstructured":"IEEE Computer Society, IEEE Standard 754 for Floating-Point Arithmetic (1985)"},{"key":"46_CR5","unstructured":"IEEE Computer Society, IEEE Standard 754 for Floating-Point Arithmetic (2008)"},{"key":"46_CR6","unstructured":"Intel 64 and IA-32 Architectures Software Developers Manual, Volume 1: Basic Architecture (2008)"},{"key":"46_CR7","unstructured":"Jankowska, M.A.: C++ Library for Floating-Point Conversions. User and Reference Guide, Poznan University of Technology. Last updated (2009), Software at http:\/\/www.mjank.user.icpnet.pl\/"},{"key":"46_CR8","unstructured":"Jankowska, M.A.: C++ Library for Floating-Point Interval Arithmetic. User and Reference Guide, Poznan University of Technology (last updated 2009), Software at http:\/\/www.mjank.user.icpnet.pl\/"},{"issue":"1","key":"46_CR9","doi-asserted-by":"crossref","first-page":"17","DOI":"10.12921\/cmst.2002.08.01.17-30","volume":"8","author":"M. Jankowska","year":"2002","unstructured":"Jankowska, M., Marciniak, A.: Implicit Interval Multistep Methods for Solving the Initial Value Problem. Computational Methods in Science and Technology\u00a08(1), 17\u201330 (2002)","journal-title":"Computational Methods in Science and Technology"},{"issue":"2","key":"46_CR10","doi-asserted-by":"crossref","first-page":"46","DOI":"10.12921\/cmst.2002.08.02.46-57","volume":"8","author":"M. Jankowska","year":"2002","unstructured":"Jankowska, M., Marciniak, A.: On Explicit Interval Methods of Adams-Bashforth Type. Computational Methods in Science and Technology\u00a08(2), 46\u201357 (2002)","journal-title":"Computational Methods in Science and Technology"},{"key":"46_CR11","doi-asserted-by":"crossref","unstructured":"Jankowska, M., Marciniak, A.: An Interval Version of the Backward Differentiation (BDF) Method. In: SCAN 2006 Conference Post-Proceedings IEEE-CPS Product No. E2821 (2007)","DOI":"10.1109\/SCAN.2006.8"},{"issue":"2","key":"46_CR12","doi-asserted-by":"crossref","first-page":"109","DOI":"10.12921\/cmst.2006.12.02.109-113","volume":"12","author":"M. Jankowska","year":"2006","unstructured":"Jankowska, M., Marciniak, A.: On Two Families of Implicit Interval Methods of Adams-Moulton Type. Computational Methods in Science and Technology\u00a012(2), 109\u2013113 (2006)","journal-title":"Computational Methods in Science and Technology"},{"key":"46_CR13","unstructured":"Jankowska, M.: Interval Multistep Methods of Adams type and their Implementation in the C++ Language. Ph.D. Thesis, Poznan University of Technology, Poznan (2006)"},{"key":"46_CR14","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1016\/j.nima.2005.11.109","volume":"558","author":"K. Makino","year":"2005","unstructured":"Makino, K., Berz, M.: COSY INFINITY Version 9. Nuclear Instruments and Methods\u00a0A558, 346\u2013350 (2005)","journal-title":"Nuclear Instruments and Methods"},{"key":"46_CR15","volume-title":"Selected Interval Methods for Solving the Initial Value Problem","author":"A. Marciniak","year":"2009","unstructured":"Marciniak, A.: Selected Interval Methods for Solving the Initial Value Problem. Publishing House of Poznan University of Technology, Poznan (2009)"},{"key":"46_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L. Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, \u00c9.: Applied Interval Analysis. Springer, London (2001)"},{"key":"46_CR17","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"46_CR18","unstructured":"Nedialkov, N.S., Jackson, K.R.: The Design and Implementation of a Validated Object-Oriented Solver for IVPs for ODEs, Technical Report 6, Software Quality Research Laboratory, Department of Computing and Software, McMaster University, Harnilton (2002)"},{"key":"46_CR19","unstructured":"Pentium Processor Family Developers Manual, Volume 3: Architecture and Programming Manual (1995)"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14403-5_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:52:20Z","timestamp":1606186340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14403-5_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144028","9783642144035"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14403-5_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}