{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:40:55Z","timestamp":1773654055946,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642114854","type":"print"},{"value":"9783642114861","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11486-1_22","type":"book-chapter","created":{"date-parts":[[2010,1,27]],"date-time":"2010-01-27T08:39:51Z","timestamp":1264581591000},"page":"257-268","source":"Crossref","is-referenced-by-count":4,"title":["Standardization and Testing of Mathematical Functions"],"prefix":"10.1007","author":[{"given":"Victor","family":"Kuliamin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"IEEE 754-2008. IEEE Standard for Binary Floating-Point Arithmetic. NY, IEEE (2008)"},{"issue":"3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1134\/S036176880703005X","volume":"33","author":"V. Kuliamin","year":"2007","unstructured":"Kuliamin, V.: Standardization and Testing of Implementations of Mathematical Functions in Floating Point Numbers. Programming and Computer Software\u00a033(3), 154\u2013173 (2007)","journal-title":"Programming and Computer Software"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-540-68524-1_4","volume-title":"Testing of Software and Communicating Systems","author":"V. Kuliamin","year":"2008","unstructured":"Kuliamin, V.: Test Construction for Mathematical Functions. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 23\u201337. Springer, Heidelberg (2008)"},{"key":"22_CR4","unstructured":"ISO\/IEC 9899. Programming Languages - C. Geneve: ISO (1999)"},{"key":"22_CR5","unstructured":"IEEE 1003.1-2004. Information Technology - Portable Operating System Interface (POSIX). NY, IEEE (2004)"},{"key":"22_CR6","unstructured":"ISO\/IEC 10967-2. Information Technology - Language Independent Arithmetic - Part 2: Elementary Numerical Functions. Geneve, ISO (2002)"},{"issue":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D. Goldberg","year":"1991","unstructured":"Goldberg, D.: What Every Computer Scientist Should Know about Floating-Point Arithmetic. ACM Computing Surveys\u00a023(1), 5\u201348 (1991)","journal-title":"ACM Computing Surveys"},{"issue":"1-4","key":"22_CR8","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1023\/B:NUMA.0000049482.38935.0b","volume":"37","author":"D. Defour","year":"2004","unstructured":"Defour, D., Hanrot, G., Lefevre, V., Muller, J.-M., Revol, N., Zimmermann, P.: Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Numerical Algorithms\u00a037(1-4), 367\u2013375 (2004)","journal-title":"Numerical Algorithms"},{"key":"22_CR9","unstructured":"http:\/\/msdn.microsoft.com\/library\/wkbss70y.aspx"},{"key":"22_CR10","unstructured":"Ng, K.C.: Arguments Reduction for Huge Arguments: Good to the Last Bit (1992), \n                    \n                      http:\/\/www.validlab.com\/arg.pdf"},{"key":"22_CR11","unstructured":"Kahan, W.: Minimizing q*m\u2009\u2212\u2009n. (1983) (unpublished), \n                    \n                      http:\/\/http.cs.berkeley.edu\/~wkahan\/testpi\/nearpi.c"},{"key":"22_CR12","unstructured":"http:\/\/www.inria.fr\/recherche\/equipes\/arenaire.en.html"},{"key":"22_CR13","volume-title":"Proc. of 17th Symposium on Computer Arithmetic","author":"F. Dinechin de","year":"2005","unstructured":"de Dinechin, F., Ershov, A., Gast, N.: Towards the post-ultimate libm. In: Proc. of 17th Symposium on Computer Arithmetic, June 2005. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"22_CR14","unstructured":"http:\/\/lipforge.ens-lyon.fr\/www\/crlibm\/"},{"key":"22_CR15","unstructured":"Lef\u00e8vre, V., Muller, J.-M., Tisserand, A.: The Table Maker\u2019s Dilemma. INRIA Research Report 98-12 (1998)"},{"key":"22_CR16","unstructured":"Lef\u00e8vre, V., Muller, J.-M.: Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. In: Proc. of 15th IEEE Symposium on Computer Arithmetic, Vail, Colorado, USA, June\u00a0 (2001)"},{"issue":"1","key":"22_CR17","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1137\/S0036144595293959","volume":"39","author":"A. Edelman","year":"1997","unstructured":"Edelman, A.: The Mathematics of the Pentium Division Bug. SIAM Review\u00a039(1), 54\u201367 (1997)","journal-title":"SIAM Review"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Ziv, A., Aharoni, M., Asaf, S.: Solving Range Constraints for Binary Floating-Point Instructions. In: Proc. of 16th IEEE Symposium on Computer Arithmetic (ARITH-16 2003), pp. 158\u2013163 (2003)","DOI":"10.1109\/ARITH.2003.1207674"},{"key":"22_CR19","unstructured":"http:\/\/www.mpfr.org"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11486-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:52:47Z","timestamp":1619783567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11486-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642114854","9783642114861"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11486-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}