{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T17:08:14Z","timestamp":1770484094438,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212607","type":"print"},{"value":"9783540247388","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24738-8_3","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T13:22:23Z","timestamp":1294406543000},"page":"36-63","source":"Crossref","is-referenced-by-count":3,"title":["Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies"],"prefix":"10.1007","author":[{"given":"R. Baker","family":"Kearfott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Neher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin\u2019ichi","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabien","family":"Rico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_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":"3_CR2","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, Teubner, Stuttgart, pp. 81\u2013114 (1987)"},{"key":"3_CR3","unstructured":"Chesneaux, J.M.: Study of the computing accuracy by using probabilistic approach. In: Ulrich, C. (ed.) Contributions to Computer Arithmetic and Self-Validating Numerical Methods, Baltzer, pp. 19\u201330 (1990)"},{"key":"3_CR4","unstructured":"Chesneaux, J.-M.: Descriptif d\u2019utilisation du logiciel CADNA-F. Technical Report 92-31, MASI Report (1992)"},{"key":"3_CR5","first-page":"81","volume-title":"Computational and Applied Mathematics, I-Algorithms and Theory","author":"J.-M. Chesneaux","year":"1992","unstructured":"Chesneaux, J.-M.: Stochastic arithmetic properties. In: Brezinski, C., Kulisch, U. (eds.) Computational and Applied Mathematics, I-Algorithms and Theory, pp. 81\u201391. North-Holland, Amsterdam (1992)"},{"key":"3_CR6","first-page":"1435","volume":"315","author":"J.-M. Chesneaux","year":"1992","unstructured":"Chesneaux, J.-M., Vignes, J.: Les fondements de l\u2019arithm\u00e9tique stochastique. Comptes Rendus de l\u2019Acad\u00e9mie des Sciences, S\u00e9rie 1\u00a0315, 1435\u20131440 (1992)","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie des Sciences, S\u00e9rie 1"},{"key":"3_CR7","first-page":"117","volume":"9","author":"K. Du","year":"1992","unstructured":"Du, K., Kearfott, R.B.: The cluster problem in global optimization: The univariate case. Computing (Suppl.)\u00a09, 117\u2013127 (1992)","journal-title":"Computing (Suppl.)"},{"key":"3_CR8","unstructured":"Eble, I., Neher, M.: ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions. To appear in ACM TOMS"},{"key":"3_CR9","unstructured":"Eble, I., Neher, M.: CoStLy: Complex standard functions library (2002), http:\/\/www.uni-karlsruhe.de\/~Markus.Neher\/CoStLy.html"},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4949-6","volume-title":"Deterministic Global Optimization: Theory, Algorithms and Applications","author":"C.A. Floudas","year":"2000","unstructured":"Floudas, C.A.: Deterministic Global Optimization: Theory, Algorithms and Applications. Kluwer, Dordrecht (2000)"},{"key":"3_CR11","unstructured":"Free Software Foundation. GNU General Public License, Version 2 (1991), http:\/\/www.gnu.org\/licenses\/licenses.html"},{"key":"3_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":"3_CR13","unstructured":"Jansson, C.: Rigorous lower and upper bounds in linear programming. Technical report, TU Hamburg-Harburg (2002), http:\/\/www.ti3.tu-harburg.de\/paper\/jansson\/verification.ps"},{"key":"3_CR14","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, E.: Applied interval analysis. Springer, London (2001)"},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/BF02253433","volume":"47","author":"R.B. Kearfott","year":"1991","unstructured":"Kearfott, R.B.: Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. Computing\u00a047(2), 169\u2013191 (1991)","journal-title":"Computing"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF00171829","volume":"2","author":"R.B. Kearfott","year":"1992","unstructured":"Kearfott, R.B.: An interval branch and bound algorithm for bound constrained optimization problems. Journal of Global Optimization\u00a02, 259\u2013280 (1992)","journal-title":"Journal of Global Optimization"},{"issue":"2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF02276877","volume":"57","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers. Computing\u00a057(2), 149\u2013162 (1996)","journal-title":"Computing"},{"key":"3_CR18","first-page":"160","volume-title":"Scientific Computing and Validated Numerics, Mathematical Research","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Treating non-smooth functions as smooth functions in global optimization and nonlinear systems solvers. In: Scientific Computing and Validated Numerics, Mathematical Research, vol.\u00a090, pp. 160\u2013172. Akademie Verlag, Berlin (1996)"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF02680551","volume":"83","author":"R.B. Kearfott","year":"1998","unstructured":"Kearfott, R.B.: On proving existence of feasible points in equality constrained optimization problems. Math. Prog.\u00a083(1), 89\u2013100 (1998)","journal-title":"Math. Prog."},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39901-8_2","volume-title":"Global Optimization and Constraint Satisfaction","author":"R.B. Kearfott","year":"2003","unstructured":"Kearfott, R.B.: Globsol: History, composition, and advice on use. In: Bliek, C., Jermann, C., Neumaier, A. (eds.) COCOS 2002. LNCS, vol.\u00a02861, Springer, Heidelberg (2003) (to appear)"},{"key":"3_CR21","unstructured":"Kearfott, R.B., Dian, J.: An iterative method for finding approximate feasible points, preprint (1998), http:\/\/interval.louisiana.edu\/GlobSol\/Dian-approximate-optimizer.pdf"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF01096455","volume":"5","author":"R.B. Kearfott","year":"1994","unstructured":"Kearfott, R.B., Du, K.: The cluster problem in multivariate global optimization. Journal of Global Optimization\u00a05, 253\u2013265 (1994)","journal-title":"Journal of Global Optimization"},{"issue":"2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/78928.78931","volume":"16","author":"R.B. Kearfott","year":"1990","unstructured":"Kearfott, R.B., Novoa, M.: Algorithm 681: INTBIS, a portable interval Newton\/ bisection package. ACM Trans. Math. Software\u00a016(2), 152\u2013157 (1990)","journal-title":"ACM Trans. Math. Software"},{"key":"3_CR24","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)"},{"issue":"3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1137\/0722037","volume":"22","author":"R. Krawczyk","year":"1985","unstructured":"Krawczyk, R., Neumaier, A.: Interval slopes for rational functions and associated centered forms. SIAM J. Numer. Anal.\u00a022(3), 604\u2013616 (1985)","journal-title":"SIAM J. Numer. Anal."},{"key":"3_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-0525-2","volume-title":"Advanced arithmetic for the digital computer","author":"U. Kulisch","year":"2002","unstructured":"Kulisch, U.: Advanced arithmetic for the digital computer. Springer, Wien (2002)"},{"key":"3_CR27","volume-title":"A new approach to scientific computation: Proceedings of the Symposium on a New Approach to Scientific Computation (1982: IBM Thomas J. Watson Research Center)","year":"1983","unstructured":"Kulisch, U., Miranker, W. (eds.): A new approach to scientific computation: Proceedings of the Symposium on a New Approach to Scientific Computation (1982: IBM Thomas J. Watson Research Center). Academic Press, New York (1983)"},{"key":"3_CR28","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":"3_CR29","first-page":"85","volume-title":"Nonlinear Optimization 1981","author":"C. Lemar\u00e9chal","year":"1982","unstructured":"Lemar\u00e9chal, C.: Nondifferentiable optimization. In: Powell, M.J.D. (ed.) Nonlinear Optimization 1981, pp. 85\u201389. Academic Press, New York (1982)"},{"key":"3_CR30","unstructured":"Lerch, M., Tischler, G., Wolff von Gudenberg, J.: filib++ - Interval library specification and reference manual. Technical Report 279, Universit\u00e4t W\u00fcrzburg (2001)"},{"key":"3_CR31","unstructured":"Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Kr\u00e4mer, W.: The interval library filib++ 2.0. Design, features and sample programs. Preprint 2001\/4, Universit\u00e4t Wuppertal, Wissenschaftliches Rechnen\/Softwaretechnologie (2001)"},{"key":"3_CR32","volume-title":"Interval analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval analysis. Prentice Hall, Englewood Cliffs (1966)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Mor\u00e9, J.J., Garbow, B.S., Hillstrom, K.E.: User guide for MINPACK-1. Technical Report ANL-80-74, Argonne National Laboratories (1980)","DOI":"10.2172\/6997568"},{"key":"3_CR34","unstructured":"Neher, M.: LIVP: A Pascal\u2013XSC program for the validated solution of IVPs for nth order linear ODEs with analytic coefficient functions (February 2000), http:\/\/www.uni-karlsruhe.de\/~Markus.Neher\/livptayp.html"},{"key":"3_CR35","doi-asserted-by":"crossref","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 n-th 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":"3_CR36","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":"3_CR37","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":"3_CR38","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":"3_CR39","unstructured":"Oishi, S.: Numerical computation with result verification (in Japanese), Corona- Sha, Tokyo (2000)"},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0024-3795(00)00272-X","volume":"324","author":"S. Oishi","year":"2001","unstructured":"Oishi, S.: Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation. Linear Algebra and its Applications\u00a0324, 133\u2013146 (2001)","journal-title":"Linear Algebra and its Applications"},{"key":"3_CR41","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/s002110100310","volume":"90","author":"S. Oishi","year":"2002","unstructured":"Oishi, S., Rump, S.M.: Fast verification of solutions of matrix equations. Numerische Mathematik\u00a090, 755\u2013773 (2002)","journal-title":"Numerische Mathematik"},{"key":"3_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"3_CR43","doi-asserted-by":"crossref","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":"3_CR44","unstructured":"Sahinidis, N.: Baron (2003), http:\/\/archimedes.scs.uiuc.edu\/baron\/baron.html"},{"key":"3_CR45","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":"3_CR46","unstructured":"Schichl, H., Neumaier, A.: Exclusion regions for systems of equations, (2003), preprint http:\/\/www.mat.univie.ac.at\/neum\/ms\/excl.pdf"},{"key":"3_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3532-1","volume-title":"Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications","author":"M. Tawarmalani","year":"2002","unstructured":"Tawarmalani, M., Sahinidis, N.V.: Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications. Kluwer, Dordrecht (2002)"},{"key":"3_CR48","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0378-4754(78)90016-2","volume":"20","author":"J. Vignes","year":"1978","unstructured":"Vignes, J.: New methods for evaluating the validity of mathematical software. Math. Comp. Simul. IMACS\u00a020, 227\u2013249 (1978)","journal-title":"Math. Comp. Simul. IMACS"},{"issue":"3","key":"3_CR49","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/0378-4754(93)90003-D","volume":"35","author":"J. Vignes","year":"1993","unstructured":"Vignes, J.: A stochastic arithmetic for reliable scientific computation. Mathematics and Computers in Simulation\u00a035(3), 233\u2013261 (1993)","journal-title":"Mathematics and Computers in Simulation"},{"key":"3_CR50","unstructured":"W\u00e4chter, A.: An Interior Point Algorithm for Large-Scale Nonlinear Optimization with Applications in Process Engineering. PhD thesis, Carnegie Mellon University (2002), http:\/\/dynopt.cheme.cmu.edu\/andreasw\/thesis.pdf"}],"container-title":["Lecture Notes in Computer Science","Numerical Software with Result Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24738-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:33:49Z","timestamp":1559928829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}