{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:23:14Z","timestamp":1775013794853,"version":"3.50.1"},"reference-count":59,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1134\/s036176880703005x","type":"journal-article","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T01:34:25Z","timestamp":1181007265000},"page":"154-173","source":"Crossref","is-referenced-by-count":11,"title":["Standardization and testing of implementations of mathematical functions in floating point numbers"],"prefix":"10.1134","volume":"33","author":[{"given":"V. V.","family":"Kuliamin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"3005_CR1","unstructured":"IEEE 754-1985: IEEE Standard for Binary Floating-Point Arithmetic, New York: IEEE, 1985."},{"key":"3005_CR2","unstructured":"IEC 60559:1989. Binary Floating-Point Arithmetic for Microprocessor Systems, Geneve: ISO, 1989."},{"key":"3005_CR3","unstructured":"ISO-IEC 10967-1:1994. Information Technology\u2014Language Independent Arithmetic\u2014Part 1: Integer and Floating Point Arithmetic, Geneve: ISO, 1994."},{"key":"3005_CR4","unstructured":"ISO-IEC 10967-2:2002. Information Technology\u2014Language Independent Arithmetic\u2014Part 2: Elementary Numerical Functions, Geneve: ISO, 2002."},{"key":"3005_CR5","unstructured":"ISO-IEC 10967-3:2002. Information Technology\u2014Language Independent Arithmetic\u2014Part 3: Complex Integer and Floating Point Arithmetic and Complex Elementary Numerical Functions, Draft, Geneve: ISO, 2002."},{"key":"3005_CR6","unstructured":"http:\/\/www.inria.fr\/recherche\/equipes\/arenaire.en.html."},{"key":"3005_CR7","unstructured":"Hanrot, G., Lefevre, V., Muller, J.-M., Revol, N, and Zimmermann, P., Some Notes for a Proposal for Elementary Function Implementation in Floating-Point Arithmetic, in Proc. of Workshop IEEE 754R and Arithmetic Standardization, ARITH-15, 2001."},{"issue":"s.1\u20134","key":"3005_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., and Zimmermann, P., Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic, Numerical Algorithms, 2004, vol. 37, nos. 1\u20134, pp. 367\u2013375.","journal-title":"Numerical Algorithms"},{"key":"3005_CR9","unstructured":"IEEE 854-1987: IEEE Standard for Radix-Independent Floating-Point Arithmetic, New York: IEEE, 1987."},{"issue":"1","key":"3005_CR10","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 Comput. Surveys, 1991, vol.23, no. 1, pp. 5\u201348.","journal-title":"ACM Comput. Surveys"},{"key":"3005_CR11","volume-title":"Floating-Point","author":"P. Sterbenz","year":"1974","unstructured":"Sterbenz, P., Floating-Point, Englewood Cliffs: Prentice-Hall, 1974."},{"key":"3005_CR12","unstructured":"Camlet, J. and Lefevre, V., Toward the Integration of Numerical Computations into the OMSCS Framework, in Proc. 7th Int. Workshop on Computer Algebra in Scientific Computing (CASC 2004), St. Petersburg, 2004, pp. 71\u201379."},{"key":"3005_CR13","unstructured":"http:\/\/www.fas.org\/spp\/starwars\/gao\/im92026.htm."},{"key":"3005_CR14","unstructured":"http:\/\/www.ima.umn.edu\/~arnold\/disasters\/ariane5rep.html."},{"key":"3005_CR15","unstructured":"ISO-IEC 9899:1999. Programming Languages\u2014C, Geneve: ISO, 1999."},{"key":"3005_CR16","unstructured":"IEEE 1003.1-2004.: Information Technology\u2014Portable Operating System Interface (POSIX), New York: IEEE, 2004."},{"key":"3005_CR17","unstructured":"http:\/\/www.opengroup.org\/onlinepubs\/009695399\/functions\/sin.html."},{"issue":"11","key":"3005_CR18","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/12.736435","volume":"47","author":"V. Lefevre","year":"1998","unstructured":"Lefevre, V., Muller, J.-M., and Tisserand, A., Toward Correctly Rounded Transcendentals, IEEE Trans. Comput., 1998, vol. 47, no. 11, pp. 1235\u20131243.","journal-title":"IEEE Trans. Comput."},{"key":"3005_CR19","unstructured":"Lefevre, V., Muller, J.-M., and Tisserand, A., The Table Maker\u2019s Dilemma, INRIA Research Report, 1998, no. 98-12."},{"key":"3005_CR20","unstructured":"Lefevre, V. and Muller, J.-M., Worst Cases for Correct Rounding of the Elementary Functions in Double Precision, in Proc. 15th Symp. on Computer Arithmetic, Vail (Colorado), 2001."},{"key":"3005_CR21","volume-title":"Algebra","author":"S. Lang","year":"1965","unstructured":"Lang, S., Algebra, Reading: Addison-Wesley, 1965. Translated under the title Algebra, Moscow: Mir, 1968."},{"key":"3005_CR22","volume-title":"Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables","author":"M. Abramowitz","year":"1965","unstructured":"Abramowitz, M. and Stegun, I.A., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, New York: Dover, 1965. Translated under the title Spravochnik po spetsiak\u2019nym funktsiyam s formulami, grafikami i matemeticheskimi tablitsami, Moscow: Nauka, 1979."},{"key":"3005_CR23","volume-title":"Elementary Functions: Algorithms and Implementation","author":"J.-M. Muller","year":"2006","unstructured":"Muller, J.-M., Elementary Functions: Algorithms and Implementation, Boston: Birkhauser, 2006, 2nd ed.","edition":"2nd ed"},{"key":"3005_CR24","unstructured":"http:\/\/www.math.utah.edu\/~beebe\/software\/ieee\/."},{"key":"3005_CR25","unstructured":"http:\/\/www.redhat.com\/drepper\/libm\/."},{"key":"3005_CR26","unstructured":"Kahan, W., What Can You Learn about Floating-Point Arithmetic in One Hour? http:\/\/http.cs.berkeley.edu\/:_wkahan\/ ieee754status, 1996."},{"key":"3005_CR27","unstructured":"Schryer, N.L., A Test of Computer\u2019s Floating-Point Arithmetic Unit, Computer Science Technical Report, AT&T Bell Labs, 1981."},{"issue":"1","key":"3005_CR28","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/382043.382404","volume":"27","author":"B. Verdonk","year":"2001","unstructured":"Verdonk, B., Cuyt, A., and Verschaeren, D.A., A Precision-and Range-Independent Tool for Testing Floating-Point Arithmetic I: Basic Operations, Square Roots and Remainder, ACM TOMS, 2001, vol. 27, no. 1, pp. 92\u2013118.","journal-title":"ACM TOMS"},{"issue":"1","key":"3005_CR29","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/382043.382405","volume":"27","author":"B. Verdonk","year":"2001","unstructured":"Verdonk, B., Cuyt, A., and Verschaeren, D.A., A Precision-and Range-Independent Tool for Testing Floating-Point Arithmetic II: Conversions, ACM TOMS, 2001, vol. 27, no. 1, pp. 119\u2013140.","journal-title":"ACM TOMS"},{"key":"3005_CR30","unstructured":"http:\/\/www.cant.ua.ac.be\/ieeecc754.html."},{"issue":"2","key":"3005_CR31","first-page":"223","volume":"10","author":"R. Karpinski","year":"1985","unstructured":"Karpinski, R. PARANOIA: A Floating-Point Benchmark, Byte Magazine, 1985, vol. 10, no. 2, pp. 223\u2013235.","journal-title":"Byte Magazine"},{"key":"3005_CR32","unstructured":"http:\/\/www.netlib.org\/paranoia\/."},{"key":"3005_CR33","doi-asserted-by":"crossref","unstructured":"Ziv, A., Aharoni, M., and Asaf, S., Solving Range Constraints for Binary Floating-Point Instructions, in Proc. 16th Symp. on Computer Arithmetic (ARITH-16\u201903), 2003, pp. 158\u2013163.","DOI":"10.1109\/ARITH.2003.1207674"},{"key":"3005_CR34","doi-asserted-by":"crossref","unstructured":"Aharoni, M., Asaf, S., Fournier, L., Koifman, A., and Nagel, R., FPgen\u2014A Test Generation Framework for Datapath Floating-Point Verification, in Proc. IEEE Int. High Level Design Validation and Test Workshop (HLDVT\u201903), 2003, pp. 17\u201322.","DOI":"10.1109\/HLDVT.2003.1252469"},{"key":"3005_CR35","unstructured":"http:\/\/www.math.utah.edu\/pub\/elefunt\/."},{"key":"3005_CR36","unstructured":"http:\/\/www.netlib.org\/fp\/ucbtest.tgz."},{"key":"3005_CR37","volume-title":"Berkley Elementary Function Test Suite","author":"Z.A. Liu","year":"1987","unstructured":"Liu, Z.A., Berkley Elementary Function Test Suite, M.S. thesis, Berkley: Computer Science Division, Department of Electrical Engineering and Computer Science, Univ. of California at Berkley, 1987."},{"issue":"3","key":"3005_CR38","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1109\/TC.2005.55","volume":"54","author":"D. Stehele","year":"2005","unstructured":"Stehele, D., Lefevre, V., and Zimmermann, P., Searching Worst Cases of a One-Variable Function Using Lattice Reduction, IEEE Trans. Comput., 2005, vol. 54, no. 3, pp. 340\u2013346.","journal-title":"IEEE Trans. Comput."},{"key":"3005_CR39","unstructured":"http:\/\/www.loria.fr\/zimmerma\/mpcheck\/."},{"key":"3005_CR40","unstructured":"http:\/\/www.maplesoft.com\/."},{"key":"3005_CR41","unstructured":"http:\/\/www.wolfram.com\/products\/mathematica\/index. html."},{"key":"3005_CR42","unstructured":"http:\/\/www.mathworks.com\/products\/matlab\/."},{"issue":"3","key":"3005_CR43","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/114697.116813","volume":"17","author":"A. Ziv","year":"1991","unstructured":"Ziv, A., Fast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last Bit, ACM Trans. Math. Software, 1991, vol. 17, no. 3, pp. 410\u2013423.","journal-title":"ACM Trans. Math. Software"},{"key":"3005_CR44","unstructured":"IBM Accurate Portable MathLib, http:\/\/rpmfind.net\/linux\/rpm2html\/search.php?query=lib-ultim.so.2."},{"key":"3005_CR45","unstructured":"http:\/\/www.mpfr.org\/."},{"key":"3005_CR46","unstructured":"http:\/\/www.sun.com\/download\/products. xml?id=41797765."},{"key":"3005_CR47","unstructured":"http:\/\/www.ens-lyon.fr\/LIP\/Arenaire\/Ware\/SCSLib\/."},{"key":"3005_CR48","unstructured":"http:\/\/lipforge.ens-lyon.fr\/projects\/crlibm\/."},{"key":"3005_CR49","unstructured":"de Dinechin, F., Ershov, A., and Gast, N., Towards the Post-Ultimate libm, in Proc. 17th Symp. on Computer Arithmetic, IEEE Computer Society, 2005."},{"key":"3005_CR50","doi-asserted-by":"crossref","unstructured":"Defour, D., de Dinechin, F., and Muller, J.-M., Correctly Rounded Exponential Function in Double Precision Arithmetic, INRIA Research Report, RR-2001-26, 2001.","DOI":"10.1117\/12.448644"},{"key":"3005_CR51","unstructured":"de Dinechin, F., Lauter, C., and Muller, J.-M., Fast and Correctly Rounded Logarithms in Double Precision, INRIA Research Report, RR-2005-37, 2005."},{"key":"3005_CR52","unstructured":"Chevillard, S. and Revol, N., Computation of the Error Functions erf and erfc in Arbitrary Precision with Correct Rounding, in Proc. 17th IMACS Conf. on Scientific Computation, Applied Mathematics, and Simulation, Paris, 2005."},{"key":"3005_CR53","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/S0076-5392(08)62851-9","volume-title":"Scientific Computing with Automatic Result Verification","author":"W. Kramer","year":"1993","unstructured":"Kramer, W., Multiple-Precision Computations with Result Verification, in Scientific Computing with Automatic Result Verification, Adams, E. and Kulisch, U., Eds., Boston: Academic, 1993, pp. 325\u2013356."},{"key":"3005_CR54","doi-asserted-by":"crossref","unstructured":"Schulte, M.J. and Swartzlander, E.E., Software and Hardware Techniques for Accurate, Self-Validating Arithmetic, in Applications of Interval Computations, 1996, pp. 381\u2013404.","DOI":"10.1007\/978-1-4613-3440-8_14"},{"issue":"4","key":"3005_CR55","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/s11155-005-6891-y","volume":"11","author":"N. Revol","year":"2005","unstructured":"Revol, N. and Rouillier, F., Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Comput., 2005, vol. 11, no. 4, pp. 275\u2013290.","journal-title":"Reliable Comput."},{"key":"3005_CR56","unstructured":"MPFI Library, http:\/\/perdo.ens-lyon.fr\/nathalie.revol\/ mpfi_toc.html."},{"key":"3005_CR57","unstructured":"Kahan, W., Minimizing q * m \u2212 n, available at http:\/\/http.cs.berkley.edu\/~wkahan\/testpi\/nearpi.c."},{"key":"3005_CR58","unstructured":"Kuliamin, V.V., Formal Approaches to Testing Mathematical Functions, in Trudy ISP RAN, 2006, vol. 10."},{"key":"3005_CR59","unstructured":"http:\/\/sourceware.org\/cgi-bin\/cvsweb.cgi\/libc\/sysdeps\/ i386\/fpu\/e_expl.c?cvsroot=glibc."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880703005X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S036176880703005X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880703005X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880703005X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:11:54Z","timestamp":1775009514000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S036176880703005X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":59,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["3005"],"URL":"https:\/\/doi.org\/10.1134\/s036176880703005x","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}