{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T03:40:25Z","timestamp":1709178025135},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,8,8]],"date-time":"2008-08-08T00:00:00Z","timestamp":1218153600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s10898-008-9331-9","type":"journal-article","created":{"date-parts":[[2008,8,7]],"date-time":"2008-08-07T10:45:57Z","timestamp":1218105957000},"page":"349-374","source":"Crossref","is-referenced-by-count":1,"title":["A second-order pruning step for verified global optimization"],"prefix":"10.1007","volume":"44","author":[{"given":"Marco","family":"Schnurr","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,8,8]]},"reference":[{"key":"9331_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":"9331_CR2","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/BF01934696","volume":"28","author":"E. Baumann","year":"1988","unstructured":"Baumann E.: Optimal centered forms. BIT 28, 80\u201387 (1988)","journal-title":"BIT"},{"key":"9331_CR3","doi-asserted-by":"crossref","unstructured":"Bornemann, F., Laurie, D., Wagon, S., Waldvogel, J.: The SIAM 100-digit challenge: a study in high-accuracy numerical computing. society of industrial and applied mathematics (SIAM). Philadelphia (2004)","DOI":"10.1137\/1.9780898717969"},{"key":"9331_CR4","volume-title":"Optimization and Nonsmooth Analysis","author":"F.H. Clarke","year":"1983","unstructured":"Clarke F.H.: Optimization and Nonsmooth Analysis. John Wiley & Sons, New York (1983)"},{"key":"9331_CR5","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s00607-004-0064-4","volume":"72","author":"A. Frommer","year":"2004","unstructured":"Frommer A., Lang B., Schnurr M.: A comparison of the Moore and Miranda existence tests. Computing 72, 349\u2013354 (2004)","journal-title":"Computing"},{"key":"9331_CR6","volume-title":"Numerical Toolbox for Verified Computing I","author":"R. Hammer","year":"1993","unstructured":"Hammer R., Hocks M., Kulisch U., Ratz D.: Numerical Toolbox for Verified Computing I. Springer-Verlag, Berlin (1993)"},{"key":"9331_CR7","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF02252344","volume":"20","author":"E.R. Hansen","year":"1978","unstructured":"Hansen E.R.: Interval forms of Newton\u2019s method. Computing 20, 153\u2013163 (1978)","journal-title":"Computing"},{"key":"9331_CR8","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00933139","volume":"29","author":"E.R. Hansen","year":"1979","unstructured":"Hansen E.R.: Global optimization using interval analysis\u2014the one-dimensional case. J. Optim. Theory Appl. 29, 331\u2013344 (1979)","journal-title":"J. Optim. Theory Appl."},{"key":"9331_CR9","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF01396702","volume":"34","author":"E.R. Hansen","year":"1980","unstructured":"Hansen E.R.: Global optimization using interval analysis\u2014the multi-dimensional case. Numer. Math. 34, 247\u2013270 (1980)","journal-title":"Numer. Math."},{"key":"9331_CR10","volume-title":"Global optimization using interval analysis: second edition, revised and expanded","author":"E.R. Hansen","year":"2004","unstructured":"Hansen E.R., Walster G.W.: Global optimization using interval analysis: second edition, revised and expanded. Marcel Dekker, New York (2004)"},{"key":"9331_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF02252616","volume":"23","author":"K. Ichida","year":"1979","unstructured":"Ichida K., Fujii Y.: An interval arithmetic method for global optimization. Computing 23, 85\u201397 (1979)","journal-title":"Computing"},{"key":"9331_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott R.B.: Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"9331_CR13","volume-title":"Pascal-XSC\u2014Language Reference with Examples","author":"R. Klatte","year":"1992","unstructured":"Klatte R., Kulisch U., Neaga M., Ratz D., Ullrich Ch.: Pascal-XSC\u2014Language Reference with Examples. Springer, Berlin (1992)"},{"key":"9331_CR14","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1009902813842","volume":"3","author":"L. Kolev","year":"1997","unstructured":"Kolev L.: Use of interval slopes for the irrational part of factorable functions. Reliab. Comput. 3, 83\u201393 (1997)","journal-title":"Reliab. Comput."},{"key":"9331_CR15","doi-asserted-by":"crossref","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. 22, 604\u2013616 (1985)","journal-title":"SIAM J. Numer. Anal."},{"key":"9331_CR16","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs, NJ (1966)"},{"issue":"4","key":"9331_CR17","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1137\/0714040","volume":"14","author":"R.E. Moore","year":"1977","unstructured":"Moore R.E.: A test for existence of solutions to nonlinear systems. SIAM J. Numer. Anal. 14(4), 611\u2013615 (1977)","journal-title":"SIAM J. Numer. Anal."},{"key":"9331_CR18","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/355934.355936","volume":"7","author":"J.J. Mor\u00e9","year":"1981","unstructured":"Mor\u00e9 J.J., Garbow B.S., Hilstrom K.E.: Testing unconstrained optimization software. ACM Trans. Math. Software 7, 17\u201341 (1981)","journal-title":"ACM Trans. Math. Software"},{"issue":"3","key":"9331_CR19","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1023\/B:REOM.0000032107.85627.45","volume":"10","author":"H. Mu\u00f1oz","year":"2004","unstructured":"Mu\u00f1oz H., Kearfott R.B.: Slope intervals, generalized gradients, semigradients, slant derivatives, and csets. Reliab. Comput. 10(3), 163\u2013193 (2004)","journal-title":"Reliab. Comput."},{"key":"9331_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10861-0","volume-title":"Automatic Differentiation: Techniques and Applications, Lecture Notes in Computer Science, vol. 120","author":"L.B. Rall","year":"1981","unstructured":"Rall L.B.: Automatic Differentiation: Techniques and Applications, Lecture Notes in Computer Science, vol. 120. Springer, Berlin (1981)"},{"key":"9331_CR21","volume-title":"Automatic Slope Computation and its Application in Nonsmooth Global Optimization","author":"D. Ratz","year":"1998","unstructured":"Ratz D.: Automatic Slope Computation and its Application in Nonsmooth Global Optimization. Shaker Verlag, Aachen (1998)"},{"key":"9331_CR22","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1023\/A:1008391326993","volume":"14","author":"D. Ratz","year":"1999","unstructured":"Ratz D.: A nonsmooth global optimization technique using slopes\u2014the one-dimensional case. J. Global Optim. 14, 365\u2013393 (1999)","journal-title":"J. Global Optim."},{"issue":"216","key":"9331_CR23","doi-asserted-by":"crossref","first-page":"1503","DOI":"10.1090\/S0025-5718-96-00773-9","volume":"65","author":"S.M. Rump","year":"1996","unstructured":"Rump S.M.: Expansion and estimation of the range of nonlinear functions. Math. Comp. 65(216), 1503\u20131512 (1996)","journal-title":"Math. Comp."},{"issue":"4","key":"9331_CR24","doi-asserted-by":"crossref","first-page":"425","DOI":"10.3934\/jimo.2006.2.425","volume":"2","author":"U. Sch\u00e4fer","year":"2006","unstructured":"Sch\u00e4fer U., Schnurr M.: A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data. J. Ind. Manage. Optim. 2(4), 425\u2013434 (2006)","journal-title":"J. Ind. Manage. Optim."},{"key":"9331_CR25","unstructured":"Schnurr, M.: The automatic computation of second-order slope tuples for some nonsmooth functions. ETNA Electron. Trans. Numer. Anal. (to appear)"},{"key":"9331_CR26","unstructured":"Schnurr, M.: Computing slope enclosures by exploiting a unique point of inflection. Appl. Math. Comput. (to appear)"},{"key":"9331_CR27","unstructured":"Schnurr, M.: Webpage for software download. http:\/\/iamlasun8.mathematik.uni-karlsruhe.de\/~ae26\/software\/"},{"issue":"1","key":"9331_CR28","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1002\/pamm.200610326","volume":"6","author":"M. Schnurr","year":"2006","unstructured":"Schnurr M.: Some supplements concerning automatic slope enclosures. PAMM 6(1), 691\u2013692 (2006)","journal-title":"PAMM"},{"key":"9331_CR29","unstructured":"Schnurr, M.: Steigungen h\u00f6herer Ordnung zur verifizierten globalen Optimierung. PhD Thesis, Universit\u00e4t Karlsruhe (2007). http:\/\/digbib.ubka.uni-karlsruhe.de\/volltexte\/1000007229"},{"key":"9331_CR30","unstructured":"Schnurr, M., Ratz, D.: Slope enclosures for functions given by two or more branches (submitted for publication)"},{"key":"9331_CR31","volume-title":"Numerical Optimization of Computer Models","author":"H. Schwefel","year":"1981","unstructured":"Schwefel H.: Numerical Optimization of Computer Models. Wiley, New York (1981)"},{"key":"9331_CR32","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0096-3003(90)90124-L","volume":"39","author":"Z. Shen","year":"1990","unstructured":"Shen Z., Wolfe M.A.: On interval enclosures using slope arithmetic. Appl. Math. Comput. 39, 89\u2013105 (1990)","journal-title":"Appl. Math. Comput."},{"key":"9331_CR33","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF01933121","volume":"4","author":"S. Skelboe","year":"1974","unstructured":"Skelboe S.: Computation of rational interval functions. BIT 4, 87\u201395 (1974)","journal-title":"BIT"},{"key":"9331_CR34","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-1-4757-6484-0_18","volume-title":"Scientific Computing, Validated Numerics, Interval Methods","author":"D.G. Sotiropoulos","year":"2001","unstructured":"Sotiropoulos D.G., Grapsa T.N.: A branch-and-prune method for global optimization: the univariate case. In: Kr\u00e4mer, W., Gudenberg, J.W.v.(eds) Scientific Computing, Validated Numerics, Interval Methods, pp. 215\u2013226. Kluwer, Boston (2001)"},{"key":"9331_CR35","volume-title":"Global Optimization, Lecture Notes in Computer Science, vol 50","author":"A. T\u00f6rn","year":"1989","unstructured":"T\u00f6rn A., \u017dilinskas A.: Global Optimization, Lecture Notes in Computer Science, vol 50. Springer, Berlin (1989)"},{"key":"9331_CR36","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s10898-004-8430-5","volume":"30","author":"T. Vinko","year":"2004","unstructured":"Vinko T., Lagouanelle J.-L., Csendes T.: A new inclusion function for global optimization: kite\u2014the one dimensional case. J. Global Optim. 30, 435\u2013456 (2004)","journal-title":"J. Global Optim."},{"key":"9331_CR37","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/B:NUMA.0000049490.96077.99","volume":"37","author":"T. Vinko","year":"2004","unstructured":"Vinko T., Ratz D.: A multidimensional branch-and-prune method for interval global optimization. Numer. Algorithms 37, 391\u2013399 (2004)","journal-title":"Numer. Algorithms"},{"key":"9331_CR38","unstructured":"XSC Website.: Website on programming languages for scientific computing with validation. http:\/\/www.xsc.de (December 2007)"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-008-9331-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-008-9331-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-008-9331-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T03:18:35Z","timestamp":1709176715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-008-9331-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,8]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["9331"],"URL":"https:\/\/doi.org\/10.1007\/s10898-008-9331-9","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,8]]}}}