{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:44:39Z","timestamp":1755218679597,"version":"3.43.0"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"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":["Reliable Computing"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1023\/a:1009973407908","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"207-218","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical Function Software on the Web\u2014Are Such Codes Useful for Verification Algorithms?"],"prefix":"10.1007","volume":"6","author":[{"given":"Werner","family":"Hofschuster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"261624_CR1","unstructured":"A Standard for Binary Floating-Point Arithmetic, ANSI\/IEEE Std. 754-1985, New York, 1985."},{"key":"261624_CR2","series-title":"Nat. Bur. Standards, Appl. Math. Series","volume-title":"Handbook of Mathematical Functions","author":"M. Abramowitz","year":"1964","unstructured":"Abramowitz, M. and Stegun, I. A.: Handbook of Mathematical Functions (Nat. Bur. Standards, Appl. Math. Series\n55), U.S. Government Printing Office, Washington, D.C., 1964."},{"key":"261624_CR3","unstructured":"Adams, E. and Kulisch, U.: Scientific Computing with Automatic Result Verification (Mathematics in Science and Engineering\n189), Academic Press, 1993."},{"key":"261624_CR4","doi-asserted-by":"crossref","unstructured":"Agarwal, R. C. et al.: New Scalar and Vector Elementary Functions for the IBM System\/370, IBM J. Res. Develop.\n30(2) (1986).","DOI":"10.1147\/rd.302.0126"},{"key":"261624_CR5","unstructured":"Bantle, A. and Kr\u00e4mer, W.: Ein Kalk\u00fcl f\u00fcr verl\u00e4\u03b2liche absolute und relative Fehlerabsch\u00e4tzungen, Preprint 98\/5 des IWRMM, Universit\u00e4t Karlsruhe, 1998."},{"issue":"4","key":"261624_CR6","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1145\/2701.356101","volume":"10","author":"C. M. Black","year":"1984","unstructured":"Black, Ch. M., Burton, R. B., and Miller, T. H.: The Need for an Industry Standard of Accuracy for Elementary-Function Programs, ACM Trans. on Math. Software\n10(4) (1984), pp. 361-366.","journal-title":"ACM Trans. on Math. Software"},{"key":"261624_CR7","unstructured":"Blomquist, F. and Kr\u00e4mer, W.: Algorithmen mit garantierten Fehlerschranken f\u00fcr die Fehler-und die komplement\u00e4re Fehlerfunktion, Preprint 97\/3 des IWRMM, Universit\u00e4t Karlsruhe, 1997, FTP:\/\/iamk4515.mathematik.uni-karlsruhe.de in the directory\/pub\/iwrmm\/preprints."},{"key":"261624_CR8","first-page":"167","volume":"1","author":"K. Braune","year":"1985","unstructured":"Braune, K., Kr\u00e4mer, W.: Standard Functions for Intervals with Maximum Accuracy, in: 11th IMACS World Congress, Proceedings, Vol. 1, 1985, pp. 167-170.","journal-title":"11th IMACS World Congress, Proceedings"},{"key":"261624_CR9","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Accurate Scientific Computations","author":"S. Gal","year":"1986","unstructured":"Gal, S.: Computing Elementary Functions: A New Approach for Achieving High Accuracy and Good Performance, in: Accurate Scientific Computations (Lecture Notes in Computer Science\n235), Springer, New York, 1986, pp. 1-16."},{"key":"261624_CR10","series-title":"IBM Technical Report","volume-title":"An Accurate Elementary Mathematical Library for the IEEE Floating Point Standard","author":"S. Gal","year":"1988","unstructured":"Gal, S. and Bachelis, B.: An Accurate Elementary Mathematical Library for the IEEE Floating Point Standard, IBM Technical Report 88.223, IBM Israel, Technion City, Haifa, Israel, 1988."},{"key":"261624_CR11","unstructured":"Hammer, R. et al.: C++ Toolbox for Verified Computing I, Springer, 1995."},{"key":"261624_CR12","unstructured":"High Accuracy Arithmetic\u2014Extendend Scientific Computation (ACRITH-XSC). Reference Manual, IBM, SC 33-6462-00, 1990."},{"key":"261624_CR13","unstructured":"High Accuracy Arithmetic Subroutine Library (ACRITH). Program Description and User's Guide, IBM, SC 33-6164-02, 3rd Edition, 1986."},{"key":"261624_CR14","unstructured":"Higham, N.J: Accuracy and Stability of Numerical Algorithms, SIAM, 1996."},{"issue":"3","key":"261624_CR15","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1009966622475","volume":"3","author":"W. Hofschuster","year":"1997","unstructured":"Hofschuster, W. and Kr\u00e4mer, W.: A Computer Oriented Approach to Get Sharp Reliable Error Bounds, Reliable Computing\n3(3) (1997), pp. 239-248.","journal-title":"Reliable Computing"},{"key":"261624_CR16","first-page":"395","volume":"2","author":"W. Hofschuster","year":"1997","unstructured":"Hofschuster, W. and Kr\u00e4mer, W.: A Fast Public Domain Interval Library in ANSI-C, in: Proceedings zur IMACS'97 in Berlin, Volume 2, 1997, pp. 395-400.","journal-title":"Proceedings zur IMACS'97 in Berlin"},{"key":"261624_CR17","unstructured":"Hofschuster, W. and Kr\u00e4mer, W.: Ein rechnergest\u00fctzter Fehlerkalk\u00fcl mit Anwendung auf ein genaues Tabellenverfahren, Preprint 96\/5 des Instituts f\u00fcr Wissenschaftliches Rechnen und Mathematische Modellbildung (IWRMM), Universit\u00e4t Karlsruhe, 1996."},{"key":"261624_CR18","unstructured":"Hofschuster, W. and Kr\u00e4mer, W.: Fi_Lib, eine schnelle und portable Funktionsbibliothek f\u00fcr reelle Argumente und reelle Intervalle im IEEE-double-Format, Preprint 98\/7 des IWRMM, Universit\u00e4t Karlsruhe, 227 Seiten, 1998."},{"key":"261624_CR19","first-page":"96","volume":"3","author":"B. Kearfott","year":"1993","unstructured":"Kearfott, B., Dawande, M., Du, K., and Hu, Ch.: INTLIB: A Portable Fortran-77 Elementary Function Library, Interval Computations 3 (1993), pp. 96-105.","journal-title":"Interval Computations"},{"key":"261624_CR20","unstructured":"Kn\u00fcppel, O.: BIAS\u2014Basic Interval Arithmetic Subroutines, TU Hamburg-Harburg, Bericht 93.3, 1993."},{"key":"261624_CR21","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer, W.: A Priori Worst Case Error Bounds for Floating-Point Computations, IEEE Transactions on Computers\n47(7) (1998).","DOI":"10.1109\/12.709374"},{"key":"261624_CR22","first-page":"581","volume":"70","author":"W. Kr\u00e4mer","year":"1990","unstructured":"Kr\u00e4mer, W.: Berechnung der Gammafunktion f\u00fcr reelle Punkt-und Intervallargumente, Z. Angew. Math. Mech.\n70 (1990), pp. 581-584.","journal-title":"Z. Angew. Math. Mech."},{"key":"261624_CR23","unstructured":"Kr\u00e4mer, W.: Computation of Verified Bounds for Elliptic Integrals, in: Herzberger, J. and Atanassova, L. (eds), Proceedings of the International Symposium on Computer Arithmetic and Scientific Computation, Oldenburg 1991 (SCAN91), Elsevier Science Publishers (North-Holland)."},{"issue":"2","key":"261624_CR24","first-page":"147","volume":"4","author":"W. Kr\u00e4mer","year":"1998","unstructured":"Kr\u00e4mer, W.: Constructive Error Analysis, Journal of Universal Computer Science (JUCS)\n4(2) (1998), pp. 147-163.","journal-title":"Journal of Universal Computer Science (JUCS)"},{"key":"261624_CR25","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer, W: Multiple-Precision Computations with Result Verification, in: Adams, E. and Kulisch, U. (eds), Scientific Computing with Automatic Result Verification, Academic Press, 1992, pp. 311-343.","DOI":"10.1016\/S0076-5392(08)62851-9"},{"key":"261624_CR26","unstructured":"Kr\u00e4mer, W.: Sichere und genaue Absch\u00e4tzung des Approximationsfehlers bei rationalen Approximationen, Bericht 3\/1996 des Instituts f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1996."},{"key":"261624_CR27","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer, W. and Barth, B.: Computation of Interval Bounds for Weierstrass' Elliptic Function, Computing Suppl.\n9 (1993), Springer Verlag, pp. 147-159.","DOI":"10.1007\/978-3-7091-6918-6_12"},{"key":"261624_CR28","unstructured":"Kr\u00e4mer, W., Kulisch, U., and Lohner, R.: Numerical Toolbox for Verified Computing II, Theory, Algorithms, and PASCAL-XSC Programs, Springer, Berlin, to appear."},{"key":"261624_CR29","doi-asserted-by":"crossref","unstructured":"Kulisch, U. and Miranker, W.: Computer Arithmetic in Theory and Practice, Academic Press, 1981.","DOI":"10.1016\/B978-0-12-428650-4.50009-9"},{"key":"261624_CR30","doi-asserted-by":"crossref","unstructured":"Lef\u00e8vre, V., Muller, J. M., and Tisserand, A.: Towards Correctly Rounded Transcendentals, in: Proceedings of the 13th IEEE Symp. on Computer Arithmetic, Asilomar, California, 1997, pp. 132-137.","DOI":"10.1109\/ARITH.1997.614888"},{"key":"261624_CR31","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/0377-0427(95)00181-6","volume":"66","author":"D. W. Lozier","year":"1996","unstructured":"Lozier, D. W.: Software Needs in Special Functions, Journal of Computational and Applied Mathematics\n66 (1996), pp. 345-358.","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"261624_CR32","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1090\/psapm\/048\/1314844","volume":"48","author":"D. W. Lozier","year":"1994","unstructured":"Lozier, D. W. and Olver, F. W.: Numerical Evaluation of Special Functions, in: Proceedings of Symposia in Applied Mathematics, Vol. 48, 1994, pp. 79-125.","journal-title":"Proceedings of Symposia in Applied Mathematics"},{"key":"261624_CR33","volume-title":"Mathematical Functions and Their Approximations","author":"Y. L. Luke","year":"1975","unstructured":"Luke, Y. L.: Mathematical Functions and Their Approximations, Academic Press, New York-San Francisco-London, 1975."},{"key":"261624_CR34","volume-title":"The Special Functions and Their Approximations","author":"Y. L. Luke","year":"1969","unstructured":"Luke, Y. L.: The Special Functions and Their Approximations, Volume II; Academic Press, New York-London, 1969."},{"key":"261624_CR35","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/BF01732609","volume":"35","author":"W. Luther","year":"1995","unstructured":"Luther, W.: Highly Accurate Tables for Elementary Functions, BIT\n35 (1995), pp. 352-360.","journal-title":"BIT"},{"key":"261624_CR36","first-page":"78","volume":"4","author":"W. Luther","year":"1994","unstructured":"Luther, W. and Otten, W.: Computation of Standard Interval Functions in Multiple-Precision Interval Arithmetic, Interval Computations 4 (1994), pp. 78-99.","journal-title":"Interval Computations"},{"issue":"1","key":"261624_CR37","first-page":"25","volume":"4","author":"W. Luther","year":"1998","unstructured":"Luther, W. and Otten, W.: Reliable Computation of Elliptic Functions, Journal of Universal Computer Science (J.UCS)\n4(1) (1998), pp. 25-33 (http:\/\/www.iicm.edu\/jucs_4_1\/reliable_computation_of_elliptic).","journal-title":"Journal of Universal Computer Science (J.UCS)"},{"key":"261624_CR38","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF02521111","volume":"2","author":"A. J. MacLeod","year":"1994","unstructured":"MacLeod, A. J.: Table-Based Tests for Bessel Function Software, Advances in Computational Mathematics\n2 (1994), pp. 251-260.","journal-title":"Advances in Computational Mathematics"},{"key":"261624_CR39","doi-asserted-by":"crossref","unstructured":"Markstein, P.W.: Computation of Elementary Functions on the IBM RISC System\/6000 Processor, IBM J. Res. Develop.\n34(1) (1990).","DOI":"10.1147\/rd.341.0111"},{"key":"261624_CR40","volume-title":"Methods and Programs for Mathematical Functions","author":"S. L. B. Moshier","year":"1989","unstructured":"Moshier, S. L. B.: Methods and Programs for Mathematical Functions, Ellis Horwood Limited, Chichester, 1989."},{"key":"261624_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2646-6","volume-title":"Elementary Functions: Algorithms and Implementation","author":"J. M. Muller","year":"1997","unstructured":"Muller, J. M.: Elementary Functions: Algorithms and Implementation, Birkh\u00e4user, Boston, 1997."},{"key":"261624_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-94700-1","volume-title":"Tabellen zur Fourier Transformation","author":"F. Oberhettinger","year":"1957","unstructured":"Oberhettinger, F.: Tabellen zur Fourier Transformation, Springer, Berlin, 1957."},{"key":"261624_CR43","doi-asserted-by":"crossref","unstructured":"Priest, D.: Fast Table-Driven Algorithms for Interval Functions, Proceedings of the 13th IEEE Symp. on Computer Arithmetic, Asilomar, California, 1997, pp. 168-174.","DOI":"10.1109\/ARITH.1997.614892"},{"key":"261624_CR44","unstructured":"Press, W. H., Flannery, B. P., Teukolsky, S. A., and Vetterling, W. T.: Numerical Recipes in Pascal\u2014The Art of Scientific Computing, Cambridge University Press, 1989."},{"key":"261624_CR45","doi-asserted-by":"crossref","unstructured":"Schulte, M. J. and Stine, J.: Symmetric Bipartite Tables for Accurate Function Approximation, in: Proceedings of the 13th IEEE Symp. on Computer Arithmetic, Asilomar, California, 1997, pp. 175-183.","DOI":"10.1109\/ARITH.1997.614893"},{"key":"261624_CR46","doi-asserted-by":"crossref","first-page":"964","DOI":"10.1109\/12.295858","volume":"C-44","author":"M. J. Schulte","year":"1994","unstructured":"Schulte, M. J. and Swartzlander, E. E. Jr.: Design for Exactly Rounded Elementary Functions, IEEE Transactions on Computers\nC-44 (1994), pp. 964-973.","journal-title":"IEEE Transactions on Computers"},{"key":"261624_CR47","doi-asserted-by":"crossref","unstructured":"Schulte, M. J. and Swartzlander, E. E. Jr.: Exact Rounding of Certain Elemantary Functions, IEEE Transactions on Computers (1993), pp. 138-145.","DOI":"10.1109\/ARITH.1993.378099"},{"issue":"2","key":"261624_CR48","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/146847.146928","volume":"18","author":"P. T. P. Tang","year":"1992","unstructured":"Tang, P. T. P.: Table-Driven Implementation of the Expml Function in IEEE Floating-Point Arithmetic, ACM Trans. on Math. Software\n18(2) (1992), pp. 211-222.","journal-title":"ACM Trans. on Math. Software"},{"issue":"2","key":"261624_CR49","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/63522.214389","volume":"15","author":"P. T. P. Tang","year":"1989","unstructured":"Tang, P. T. P.: Table-Driven Implementation of the Exponential Function in IEEE Floating-Point Arithmetic, ACM Trans. on Math. Software\n15(2) (1989), pp. 144-157.","journal-title":"ACM Trans. on Math. Software"},{"issue":"4","key":"261624_CR50","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1145\/98267.98294","volume":"16","author":"P. T. P. Tang","year":"1990","unstructured":"Tang, P. T. P.: Table-Driven Implementation of the Logarithm Function in IEEE Floating-Point Arithmetic, ACM Trans. on Math. Software\n16(4) (1990), pp. 378-400.","journal-title":"ACM Trans. on Math. Software"},{"key":"261624_CR51","doi-asserted-by":"crossref","unstructured":"Tang, P. T. P.: Table-Lookup Algorithms for Elementary Functions and Their Error Analysis, in: Proceedings of 10-th Symposium on Computer Arithmetic ARITH, IEEE Computer Society Press, 1991, pp. 232-236.","DOI":"10.1109\/ARITH.1991.145565"},{"key":"261624_CR52","volume-title":"Atlas for Computing Mathematical Functions","author":"W. J. Thompson","year":"1997","unstructured":"Thompson, W. J.: Atlas for Computing Mathematical Functions, John Wiley & Sons, New York, 1997."},{"key":"261624_CR53","volume-title":"Scientific Computing and Validated Numerics, Proceedings of SCAN-95","author":"K. Werner","year":"1996","unstructured":"Werner, K.: Calculation of the Inverse Weierstra\u03b2 Function in an Arbitrary Machine Arithmetic, in: Alefeld, G., Frommer, A., and Lang, B. (eds), Scientific Computing and Validated Numerics, Proceedings of SCAN-95, Akademie Verlag, Berlin, 1996."},{"key":"261624_CR54","volume-title":"Computation of Special Functions","author":"S. Zhang","year":"1996","unstructured":"Zhang, S. and Jianming, J.: Computation of Special Functions, John Wiley & Sons, New York, 1996."},{"issue":"3","key":"261624_CR55","doi-asserted-by":"crossref","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. on Math. Software\n17(3) (1991), pp 410-423.","journal-title":"ACM Trans. on Math. Software"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009973407908.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009973407908\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009973407908.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:44:21Z","timestamp":1754473461000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009973407908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["261624"],"URL":"https:\/\/doi.org\/10.1023\/a:1009973407908","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}