{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T04:52:53Z","timestamp":1777524773301,"version":"3.51.4"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T00:00:00Z","timestamp":1389657600000},"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":[[2014,7]]},"DOI":"10.1007\/s10898-013-0137-z","type":"journal-article","created":{"date-parts":[[2014,1,13]],"date-time":"2014-01-13T11:35:23Z","timestamp":1389612923000},"page":"569-595","source":"Crossref","is-referenced-by-count":7,"title":["Exclusion regions for optimization problems"],"prefix":"10.1007","volume":"59","author":[{"given":"Hermann","family":"Schichl","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Mih\u00e1ly Csaba","family":"Mark\u00f3t","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Arnold","family":"Neumaier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,1,14]]},"reference":[{"issue":"4","key":"137_CR1","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1137\/S0895479896305696","volume":"21","author":"L Lathauwer De","year":"2000","unstructured":"De Lathauwer, L., De Moor, B., Vandewalle, J., et al.: A multilinear singular value decomposition. SIAM J. Matrix Anal. Appl. 21(4), 1253\u20131278 (2000)","journal-title":"SIAM J. Matrix Anal. Appl."},{"issue":"3","key":"137_CR2","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF01096455","volume":"5","author":"K Du","year":"1994","unstructured":"Du, K., Kearfott, R.: The cluster problem in multivariate global optimization. J. Glob. Optim. 5(3), 253\u2013265 (1994)","journal-title":"J. Glob. Optim."},{"issue":"1","key":"137_CR3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF02239500","volume":"12","author":"H Fischer","year":"1974","unstructured":"Fischer, H.: Hypernormb\u00e4lle als abstrakte Schrankenzahlen. Computing 12(1), 67\u201373 (1974)","journal-title":"Computing"},{"key":"137_CR4","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF02252344","volume":"20","author":"E Hansen","year":"1978","unstructured":"Hansen, E.: Interval forms of Newtons method. Computing 20, 153\u2013163 (1978). doi: 10.1007\/BF02252344","journal-title":"Computing"},{"key":"137_CR5","unstructured":"John, F.: Extremum problems with inequalities as subsidiary conditions. In: Studies and Essays Presented to R. Courant on his 60th Birthday, pp. 187\u2013204 (1948)"},{"key":"137_CR6","unstructured":"Kahan, W.: A more complete interval arithmetic. Lecture notes for an engineering summer course in numerical analysis (1968)"},{"key":"137_CR7","unstructured":"Karush, W.: Minima of Functions of Several Variables with Inequalities as Side Constraints. Master\u2019s thesis, Department of Mathematics, University of Chicago (1939)"},{"key":"137_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-3440-8_2","volume-title":"A Review of Techniques in the Verified Solution of Constrained Global Optimization Problems","author":"R Kearfott","year":"1996","unstructured":"Kearfott, R.: A Review of Techniques in the Verified Solution of Constrained Global Optimization Problems. Kluwer, Dordrecht (1996a)"},{"key":"137_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R Kearfott","year":"1996","unstructured":"Kearfott, R.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996b)"},{"key":"137_CR10","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1137\/S1064827594266131","volume":"18","author":"R Kearfott","year":"1997","unstructured":"Kearfott, R.: Empirical evaluation of innovations in interval branch and bound algorithms for nonlinear systems. SIAM J. Sci. Comput. 18, 574\u2013594 (1997)","journal-title":"SIAM J. Sci. Comput."},{"key":"137_CR11","unstructured":"Kearfott, R., Muniswamy, S, Wang, Y, Li, X, Wang, Q.: On smooth reformulations and direct non-smooth computations in global optimization for minimax problems. J. Glob. Optim. 57(4), 1091\u20131111 (2013)"},{"issue":"179","key":"137_CR12","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1090\/S0025-5718-1987-0890261-9","volume":"49","author":"RB Kearfott","year":"1987","unstructured":"Kearfott, R.B.: Abstract generalized bisection and a cost bound. Math. Comput. 49(179), 187\u2013202 (1987)","journal-title":"Math. Comput."},{"key":"137_CR13","doi-asserted-by":"crossref","unstructured":"Kieffer, M., Mark\u00f3t, M.C., Schichl, H., Walter, E.: Verified global optimization for estimating the parameters of nonlinear models. In: Rauh, A., Auer, E. (eds.) Modeling, Design, and Simulation of Systems with Uncertainties, pp 129\u2013151. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-15956-5_7"},{"issue":"1","key":"137_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(1), 83\u201393 (1997)","journal-title":"Reliab. Comput."},{"issue":"3","key":"137_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(3), 604\u2013616 (1985)","journal-title":"SIAM J. Numer. Anal."},{"issue":"1","key":"137_CR16","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0377-0427(94)00089-J","volume":"60","author":"G Mayer","year":"1995","unstructured":"Mayer, G.: Epsilon-inflation in verification algorithms. J. Comput. Appl. Math. 60(1), 147\u2013169 (1995)","journal-title":"J. Comput. Appl. Math."},{"key":"137_CR17","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":"137_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511612916","volume-title":"Introduction to Numerical Analysis","author":"A Neumaier","year":"2001","unstructured":"Neumaier, A.: Introduction to Numerical Analysis. Cambridge University Press, Cambridge (2001)"},{"key":"137_CR19","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719468","volume-title":"Iterative Solution of Nonlinear Equations in Several Variables","author":"J Ortega","year":"2000","unstructured":"Ortega, J., Rheinboldt, W.: Iterative Solution of Nonlinear Equations in Several Variables. Society for Industrial Mathematics (SIAM), Philadelphia, PA (2000)"},{"key":"137_CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0024-3795(89)90004-9","volume":"126","author":"J Rohn","year":"1989","unstructured":"Rohn, J.: Systems of linear interval equations. Linear Algebra Appl. 126, 39\u201378 (1989)","journal-title":"Linear Algebra Appl."},{"key":"137_CR21","unstructured":"Rump, S.: Expansion and estimation of the range of nonlinear functions. Math. Comput. 65(216), 1503\u20131512 (1996)"},{"key":"137_CR22","unstructured":"Rump, S.: INTLAB\u2014interval Laboratory, pp. 77\u2013104. Kluwer, Dordrecht (1999). http:\/\/www.ti3.tu-harburg.de\/rump\/intlab\/index.html"},{"issue":"4","key":"137_CR23","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1023\/A:1024419816707","volume":"4","author":"SM Rump","year":"1998","unstructured":"Rump, S.M.: A note on epsilon-inflation. Reliab. Comput. 4(4), 371\u2013375 (1998)","journal-title":"Reliab. Comput."},{"key":"137_CR24","unstructured":"Schichl, H., Mark\u00f3t, M.C.: Interval analysis on directed acyclic graphs for global optimization. Higher order methods (2010). http:\/\/www.mat.univie.ac.at\/~herman\/papers\/dag2.pdf"},{"issue":"2","key":"137_CR25","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1080\/10556788.2010.547581","volume":"27","author":"H Schichl","year":"2012","unstructured":"Schichl, H., Mark\u00f3t, M.C.: Algorithmic differentiation techniques for global optimization in the COCONUT environment. Optim. Methods Softw. 27(2), 359\u2013372 (2012)","journal-title":"Optim. Methods Softw."},{"key":"137_CR26","unstructured":"Schichl, H., Mark\u00f3t MCea: The COCONUT environment software (2013). www.mat.univie.ac.at\/coconut-environment"},{"issue":"1","key":"137_CR27","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1137\/S0036142902418898","volume":"42","author":"H Schichl","year":"2005","unstructured":"Schichl, H., Neumaier, A.: Exclusion regions for systems of equations. SIAM J. Numer. Anal. 42(1), 383\u2013408 (2005a)","journal-title":"SIAM J. Numer. Anal."},{"issue":"4","key":"137_CR28","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s10898-005-0937-x","volume":"33","author":"H Schichl","year":"2005","unstructured":"Schichl, H., Neumaier, A.: Interval analysis on directed acyclic graphs for global optimization. J. Glob. Optim. 33(4), 541\u2013562 (2005b)","journal-title":"J. Glob. Optim."},{"key":"137_CR29","unstructured":"Schichl, H., Neumaier, A.: Transposition theorems and hypernorms (2011). http:\/\/www.mat.univie.ac.at\/~herman\/trans2.pdf"},{"key":"137_CR30","unstructured":"Shcherbina, O., Neumaier, A., Sam-Haroud, D., Vu, X.H., Nguyen, T.V.: Benchmarking global optimization and constraint satisfaction codes. In: CB et al. (ed) Global Optimization and Constraint Satisfaction, pp. 211\u2013222. Springer, Berlin (2003). http:\/\/www.mat.univie.ac.at\/~neum\/papers.html#bench"},{"key":"137_CR31","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: A Modeling Language for Global Optimization","author":"P Hentenryck Van","year":"1997","unstructured":"Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge, MA (1997)"},{"key":"137_CR32","unstructured":"Van Iwaarden, R.: An Improved Unconstrained Global Optimization Algorithm. PhD thesis, University of Colorado, Denver (1996)"},{"key":"137_CR33","unstructured":"Waechter, A., Laird, C., Margot, F., Kawajir, Y.: Introduction to ipopt: a tutorial for downloading, installing, and using ipopt (2009). http:\/\/projects.coin-or.org\/Ipopt\/export\/1861\/trunk\/Ipopt\/doc\/documentation.pdf"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-013-0137-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-013-0137-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-013-0137-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T11:58:38Z","timestamp":1565092718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-013-0137-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,14]]},"references-count":33,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["137"],"URL":"https:\/\/doi.org\/10.1007\/s10898-013-0137-z","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,14]]}}}