{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T05:43:52Z","timestamp":1743572632001,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642015908"},{"type":"electronic","value":"9783642015915"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01591-5_5","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T04:41:57Z","timestamp":1240807317000},"page":"68-102","source":"Crossref","is-referenced-by-count":10,"title":["C-XSC and Closely Related Software Packages"],"prefix":"10.1007","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"}]},{"given":"Markus","family":"Neher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)"},{"key":"5_CR2","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: Real and complex Taylor arithmetic in C-XSC. Preprint 2005\/4, Universit\u00e4t Wuppertal (2005)"},{"key":"5_CR3","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: Real and complex staggered (interval) arithmetic with wide exponent range (in German). Preprint 2008\/1, Universit\u00e4t Wuppertal (2008)"},{"key":"5_CR4","unstructured":"B\u00f6rsken, N.C.: Komplexe Kreis-Standardfunktionen. Freiburger Intervallberichte\u00a078\/2 (1978)"},{"key":"5_CR5","unstructured":"Br\u00e4uer, M., Hofschuster, W., Kr\u00e4mer, W.: Steigungsarithmetiken in C-XSC. Preprint 2001\/3, Universit\u00e4t Wuppertal (2001)"},{"key":"5_CR6","unstructured":"Braune, K.: Hochgenaue Standardfunktionen f\u00fcr reelle und komplexe Punkte und Intervalle in beliebigen Gleitpunktrastern. Ph.D thesis, Universit\u00e4t Karlsruhe (1987)"},{"key":"5_CR7","first-page":"81","volume-title":"Computerarithmetic: Scientific Computation and Programming Languages","author":"K. Braune","year":"1987","unstructured":"Braune, K., Kr\u00e4mer, W.: High-accuracy standard functions for real and complex intervals. In: Kaucher, E., Kulisch, U., Ullrich, C. (eds.) Computerarithmetic: Scientific Computation and Programming Languages, pp. 81\u2013114. Teubner, Stuttgart (1987)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2005.09.062","volume":"351","author":"H. Br\u00f6nnimann","year":"2006","unstructured":"Br\u00f6nnimann, H., Melquiond, G., Pion, S.: The design of the boost interval arithmetic library. Theor. Comput. Sci.\u00a0351, 111\u2013118 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR9","unstructured":"B\u00fchler, G.: Standardfunktionen f\u00fcr komplexe Intervalle im 64 Bit IEEE Datenformat. Diploma thesis, Universit\u00e4t Karlsruhe (1993)"},{"key":"5_CR10","unstructured":"Eble, I., Neher, M.: CoStLy: Complex standard functions library (2002), \n                    \n                      http:\/\/www.uni-karlsruhe.de\/~Markus.Neher\/CoStLy.html"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/838250.838252","volume":"29","author":"I. Eble","year":"2003","unstructured":"Eble, I., Neher, M.: ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions. ACM TOMS\u00a029, 263\u2013286 (2003)","journal-title":"ACM TOMS"},{"key":"5_CR12","volume-title":"Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation","author":"A. Griewank","year":"2000","unstructured":"Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, Philadelphia (2000)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1002\/pamm.200310205","volume":"2","author":"M. Grimmer","year":"2003","unstructured":"Grimmer, M.: Interval arithmetic in Maple with intpakX. Proc. Appl. Math. Mech.\u00a02, 442\u2013443 (2003)","journal-title":"Proc. Appl. Math. Mech."},{"key":"5_CR14","unstructured":"Grimmer, M.: Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing. Dissertation, Universit\u00e4t Wuppertal (2007)"},{"key":"5_CR15","unstructured":"Grimmer, M., Kr\u00e4mer, W.: An MPI extension for the use of C-XSC in parallel environments. In: Arabnia, et al. (eds.) Int. Conf. on Scientific Computing (CSC 2007, Worldcomp 2007), Proceedings, Las Vegas, pp. 111\u2013117 (2007)"},{"key":"5_CR16","volume-title":"C++ Toolbox for Verified Computing \u2013 Basic Numerical Problems","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing \u2013 Basic Numerical Problems. Springer, Heidelberg (1995)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-24738-8_2","volume-title":"Numerical Software with Result Verification","author":"W. Hofschuster","year":"2004","unstructured":"Hofschuster, W., Kr\u00e4mer, W.: C-XSC 2.0: A C++ library for extended scientific computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification (Dagstuhl Seminar 2003). LNCS, vol.\u00a02991, pp. 15\u201335. Springer, Heidelberg (2004)"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0927-5452(04)80038-8","volume-title":"Parallel Computing: Software Technology, Algorithms, Architectures & Applications","author":"C.A. H\u00f6lbig","year":"2004","unstructured":"H\u00f6lbig, C.A., Kr\u00e4mer, W., Diverio, T.A.: An accurate and efficient self-verifying solver for systems with banded coefficient matrix. In: Parallel Computing: Software Technology, Algorithms, Architectures & Applications, pp. 283\u2013290. Elsevier Science B.V., Amsterdam (2004)"},{"key":"5_CR19","unstructured":"IBM. High-accuracy arithmetic subroutine library (ACRITH). Program Description and User\u2019s Guide, 3rd ed. SC 33-6164-02, IBM (1986)"},{"key":"5_CR20","doi-asserted-by":"publisher","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, E.: Applied Interval Analysis. Springer, London (2001)"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s11155-006-7220-9","volume":"12","author":"R. Kirchner","year":"2006","unstructured":"Kirchner, R., Kulisch, U.: Hardware support for interval arithmetic. Reliable Computing\u00a012, 225\u2013237 (2006)","journal-title":"Reliable Computing"},{"key":"5_CR22","volume-title":"C-XSC: A C++ Class Library for Extended Scientific Computing","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C-XSC: A C++ Class Library for Extended Scientific Computing. Springer, Berlin (1993)"},{"key":"5_CR23","unstructured":"Kr\u00e4mer, W.: Inverse Standardfunktionen f\u00fcr reelle und komplexe Intervallargumente mit a priori Fehlerabsch\u00e4tzungen f\u00fcr beliebige Datenformate. Ph.D thesis, Universit\u00e4t Karlsruhe (1987)"},{"key":"5_CR24","unstructured":"Kr\u00fcckeberg, F.: Ordinary differential equations. In: Hansen, E. (ed.) Topics in Interval Analysis, pp. 91\u201397. Clarendon Press, Oxford (1969)"},{"key":"5_CR25","doi-asserted-by":"publisher","DOI":"10.1515\/9783110203196","volume-title":"Computer Arithmetic and Validity \u2013 Theory, Implementation","author":"U. Kulisch","year":"2008","unstructured":"Kulisch, U.: Computer Arithmetic and Validity \u2013 Theory, Implementation. de Gruyter, Berlin (2008)"},{"key":"5_CR26","volume-title":"Computer Arithmetic in Theory and Practice","author":"U. Kulisch","year":"1981","unstructured":"Kulisch, U., Miranker, W.L.: Computer Arithmetic in Theory and Practice. Academic Press, New York (1981)"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/1141885.1141893","volume":"32","author":"M. Lerch","year":"2006","unstructured":"Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Kr\u00e4mer, W.: filib++, a fast interval library supporting containment computations. ACM TOMS\u00a032, 299\u2013324 (2006)","journal-title":"ACM TOMS"},{"key":"5_CR28","first-page":"255","volume-title":"Computerarithmetic: Scientific Computation and Programming Languages","author":"R. Lohner","year":"1987","unstructured":"Lohner, R.: Enclosing the solutions of ordinary initial- and boundary-value problems. In: Kaucher, E., Kulisch, U., Ullrich, C. (eds.) Computerarithmetic: Scientific Computation and Programming Languages, pp. 255\u2013286. Teubner, Stuttgart (1987)"},{"key":"5_CR29","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen. Ph.D thesis, Universit\u00e4t Karlsruhe (1988)"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-7091-6282-8_12","volume-title":"Perspectives of Enclosure Methods","author":"R. Lohner","year":"2001","unstructured":"Lohner, R.: On the ubiquity of the wrapping effect in the computation of error bounds. In: Kulisch, U., Lohner, R., Facius, A. (eds.) Perspectives of Enclosure Methods, pp. 201\u2013217. Springer, Wien (2001)"},{"key":"5_CR31","first-page":"103","volume-title":"Error in Digital Computation","author":"R.E. Moore","year":"1965","unstructured":"Moore, R.E.: Automatic local coordinate transformations to reduce the growth of error bounds in interval computation of solutions of ordinary differential equations. In: Rall, L.B. (ed.) Error in Digital Computation, vol.\u00a0II, pp. 103\u2013140. John Wiley and Sons, New York (1965)"},{"key":"5_CR32","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-7091-6280-4_18","volume-title":"Symbolic Algebraic Methods and Verification Methods","author":"M. Neher","year":"2001","unstructured":"Neher, M.: Geometric series bounds for the local errors of Taylor methods for linear nth order ODEs. In: Alefeld, G., Rohn, J., Rump, S., Yamamoto, T. (eds.) Symbolic Algebraic Methods and Verification Methods, pp. 183\u2013193. Springer, Wien (2001)"},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1023\/A:1011411307404","volume":"7","author":"M. Neher","year":"2001","unstructured":"Neher, M.: Validated bounds for Taylor coefficients of analytic functions. Reliable Computing\u00a07, 307\u2013319 (2001)","journal-title":"Reliable Computing"},{"key":"5_CR35","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0377-0427(02)00719-7","volume":"152","author":"M. Neher","year":"2003","unstructured":"Neher, M.: Improved validated bounds for Taylor coefficients and for Taylor remainder series. J. Comput. Appl. Math.\u00a0152, 393\u2013404 (2003)","journal-title":"J. Comput. Appl. Math."},{"key":"5_CR36","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/1206040.1206042","volume":"33","author":"M. Neher","year":"2007","unstructured":"Neher, M.: Complex standard functions and their implementation in the CoStLy library. ACM TOMS\u00a033, 20\u201346 (2007)","journal-title":"ACM TOMS"},{"key":"5_CR37","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)"},{"key":"5_CR38","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.cam.2005.08.048","volume":"199","author":"E. Popova","year":"2007","unstructured":"Popova, E., Kr\u00e4mer, W.: Inner and outer bounds for the solution set of parametric linear systems. J. Comp. Appl. Math.\u00a0199, 310\u2013316 (2007)","journal-title":"J. Comp. Appl. Math."},{"key":"5_CR39","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s00607-006-0180-4","volume":"78","author":"J. Pryce","year":"2006","unstructured":"Pryce, J.: Interval arithmetic with containment sets. Computing\u00a078, 251\u2013276 (2006)","journal-title":"Computing"},{"key":"5_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10861-0","volume-title":"Automatic Differentiation: Techniques and Applications","author":"L.B. Rall","year":"1981","unstructured":"Rall, L.B.: Automatic Differentiation: Techniques and Applications. LNCS, vol.\u00a0120. Springer, Heidelberg (1981)"},{"key":"5_CR41","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S. Rump","year":"1999","unstructured":"Rump, S.: INTLAB \u2013 INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer, Dordrecht (1999)"},{"key":"5_CR42","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1023\/A:1009931231719","volume":"6","author":"T. Sakurai","year":"2000","unstructured":"Sakurai, T., Sugiura, H.: On factorization of analytic functions and its verification. Reliable Computing\u00a06, 459\u2013470 (2000)","journal-title":"Reliable Computing"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Stetter, J.: Sequential defect correction for high-accuracy floating-point arithmetic. In: Numerical Analysis (Proceedings, Dundee 1983). Lecture Notes in Mathematics, vol.\u00a01066, pp. 186\u2013202 (1984)","DOI":"10.1007\/BFb0099525"},{"key":"5_CR44","unstructured":"Wedner, S.: Verifizierte Bestimmung singul\u00e4rer Integrale \u2013 Quadratur und Kubatur. Dissertation, Universit\u00e4t Karlsruhe (2000)"},{"key":"5_CR45","unstructured":"Zimmer, M.: Laufzeiteffiziente, parallele L\u00f6ser f\u00fcr lineare Intervallgleichungssysteme in C-XSC. Master thesis, Bergische Universit\u00e4t Wuppertal (2007)"},{"key":"5_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-01591-5_15","volume-title":"Numerical Validation in Current Hardware Architectures (Dagtuhl Seminar 2008)","author":"W. Kr\u00e4mer","year":"2009","unstructured":"Kr\u00e4mer, W., Zimmer, M.: Fast (parallel) dense linear interval systems solvers in C-XSC using error free transformations and BLAS. In: Cuyt, A., Kr\u00e4mer, W., Luther, W., Markstein, P. (eds.) Numerical Validation in Current Hardware Architectures (Dagtuhl Seminar 2008). LNCS, vol.\u00a05492, pp. 230\u2013249. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Numerical Validation in Current Hardware Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01591-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T17:50:58Z","timestamp":1551981058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01591-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642015908","9783642015915"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01591-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}