{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T20:40:24Z","timestamp":1774557624689,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,1,17]],"date-time":"2014-01-17T00:00:00Z","timestamp":1389916800000},"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,12]]},"DOI":"10.1007\/s10898-013-0139-x","type":"journal-article","created":{"date-parts":[[2014,1,16]],"date-time":"2014-01-16T11:29:18Z","timestamp":1389871758000},"page":"751-776","source":"Crossref","is-referenced-by-count":7,"title":["Bound constrained interval global optimization in the COCONUT Environment"],"prefix":"10.1007","volume":"60","author":[{"given":"Mih\u00e1ly Csaba","family":"Mark\u00f3t","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Hermann","family":"Schichl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,1,17]]},"reference":[{"key":"139_CR1","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 Numer. Math. 28, 80\u201387 (1988)","journal-title":"BIT Numer. Math."},{"key":"139_CR2","unstructured":"Bliek, C.: Computer methods for design automation. PhD thesis, Department of Ocean Engineering, Massachusetts Institute of Technology (1992)"},{"key":"139_CR3","doi-asserted-by":"crossref","first-page":"1190","DOI":"10.1137\/0916069","volume":"16","author":"RH Byrd","year":"1995","unstructured":"Byrd, R.H., Lu, P., Nocedal, J., Zhu, C.: A limited memory algorithm for bound constrained optimization. SIAM J. Sci. Comput. 16, 1190\u20131208 (1995)","journal-title":"SIAM J. Sci. Comput."},{"key":"139_CR4","unstructured":"COCONUT Environment. Software, University of Vienna. http:\/\/www.mat.univie.ac.at\/coconut-environment"},{"key":"139_CR5","doi-asserted-by":"crossref","first-page":"922","DOI":"10.1137\/S0036142995281528","volume":"34","author":"T Csendes","year":"1997","unstructured":"Csendes, T., Ratz, D.: Subdivision direction selection in interval methods for global optimization. SIAM J. Numer. Anal. 34, 922\u2013938 (1997)","journal-title":"SIAM J. Numer. Anal."},{"key":"139_CR6","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1137\/S0036144504444711","volume":"47","author":"AH Gebremedhin","year":"2005","unstructured":"Gebremedhin, A.H., Manne, F., Pothen, A.: What color is your Jacobian? Graph coloring for computing derivatives. SIAM Rev. 47, 629\u2013705 (2005)","journal-title":"SIAM Rev."},{"key":"139_CR7","volume-title":"Automatic Differentiation of Algorithms","author":"A Griewank","year":"1991","unstructured":"Griewank, A., Corliss, G.F.: Automatic Differentiation of Algorithms. SIAM, Philadelphia (1991)"},{"key":"139_CR8","volume-title":"C++ Toolbox for Verified Computing","author":"R Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing. Springer, Heidelberg (1995)"},{"key":"139_CR9","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF01096455","volume":"5","author":"RB Kearfott","year":"1994","unstructured":"Kearfott, R.B., Du, K.: The cluster problem in multivariate global optimization. J. Glob. Optim. 5, 253\u2013265 (1994)","journal-title":"J. Glob. Optim."},{"key":"139_CR10","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, Chapter 7, Mathematical Engineering. Springer, New York (2011)","DOI":"10.1007\/978-3-642-15956-5_7"},{"key":"139_CR11","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1009902813842","volume":"3","author":"LV Kolev","year":"1997","unstructured":"Kolev, L.V.: Use of interval slopes for the irrational part of factorable functions. Reliab. Comput. 3, 83\u201393 (1997)","journal-title":"Reliab. Comput."},{"key":"139_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1137\/S1052623403425617","volume":"16","author":"MC Mark\u00f3t","year":"2005","unstructured":"Mark\u00f3t, M.C., Csendes, T.: A new verified optimization technique for the \u201cpacking circles in a unit square\u201d problems. SIAM J. Optim. 16, 193\u2013219 (2005)","journal-title":"SIAM J. Optim."},{"key":"139_CR13","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1023\/A:1008359223042","volume":"16","author":"MC Mark\u00f3t","year":"2000","unstructured":"Mark\u00f3t, M.C., Csendes, T., Csallner, A.E.: Multisection in interval branch-and-bound methods for global optimization II. Numerical tests. J. Glob. Optim. 16, 219\u2013228 (2000)","journal-title":"J. Glob. Optim."},{"key":"139_CR14","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/s10107-005-0607-2","volume":"106","author":"MC Mark\u00f3t","year":"2006","unstructured":"Mark\u00f3t, M.C., Fern\u00e1ndez, J., Casado, L.G., Csendes, T.: New interval methods for constrained global optimization. Math. Program. 106, 287\u2013318 (2006)","journal-title":"Math. Program."},{"key":"139_CR15","doi-asserted-by":"crossref","first-page":"1371","DOI":"10.1137\/100793530","volume":"21","author":"MC Mark\u00f3t","year":"2011","unstructured":"Mark\u00f3t, M.C., Schichl, H.: Comparison and automated selection of local optimization solvers for interval global optimization methods. SIAM J. Optim. 21, 1371\u20131391 (2011)","journal-title":"SIAM J. Optim."},{"key":"139_CR16","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to Interval Analysis","author":"RE Moore","year":"2009","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)"},{"key":"139_CR17","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/B978-0-12-505630-4.50020-1","volume-title":"Reliability in Computing","author":"A Neumaier","year":"1988","unstructured":"Neumaier, A.: The enclosure of solutions of parameter-dependent systems of equations. In: Moore, R.E. (ed.) Reliability in Computing, pp. 269\u2013286. Academic Press, San Diego (1988)"},{"key":"139_CR18","volume-title":"Interval Methods for Systems of Equations. Vol. 37 of Encyclopedia of Mathematics and its Applications","author":"A Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Vol. 37 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1990)"},{"key":"139_CR19","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1137\/0717055","volume":"17","author":"H Ratschek","year":"1980","unstructured":"Ratschek, H.: Centered forms. SIAM J. Numer. Anal. 17, 656\u2013662 (1980)","journal-title":"SIAM J. Numer. Anal."},{"key":"139_CR20","unstructured":"Sahinidis, N.V., Tawarmalani, M.: BARON 9.0.4: global optimization of mixed-integer nonlinear programs, user\u2019s manual, 2010. http:\/\/www.gams.com\/dd\/docs\/solvers\/baron.pdf"},{"key":"139_CR21","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, 541\u2013562 (2005)","journal-title":"J. Glob. Optim."},{"key":"139_CR22","unstructured":"Schichl, H.: Mathematical Modeling and Global Optimization. Habilitation Thesis, draft of a book, Cambridge University Press (to appear)"},{"key":"139_CR23","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1137\/S0036142902418898","volume":"42","author":"H Schichl","year":"2004","unstructured":"Schichl, H., Neumaier, A.: Exclusion regions for systems of equations. SIAM J. Numer. Anal. 42, 383\u2013408 (2004)","journal-title":"SIAM J. Numer. Anal."},{"key":"139_CR24","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, 359\u2013372 (2012)","journal-title":"Optim. Methods Softw."},{"key":"139_CR25","unstructured":"Schichl, H., Mark\u00f3t, M.C., Neumaier, A.: Exclusion regions for optimization problems (in preparation)"},{"key":"139_CR26","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s10107-005-0581-8","volume":"103","author":"M Tawarmalani","year":"2005","unstructured":"Tawarmalani, M., Sahinidis, N.V.: A polyhedral branch-and-cut approach to global optimization. Math. Program. 103, 225\u2013249 (2005)","journal-title":"Math. Program."},{"key":"139_CR27","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Numerica: a modeling language for global optimization. In: Proceedings of the 15th international joint conference on artificial intelligence (IJCAI-97) (1997)","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"139_CR28","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/s10898-008-9386-7","volume":"45","author":"X-H Vu","year":"2009","unstructured":"Vu, X.-H., Schichl, H., Sam-Haroud, D.: Interval propagation and search on directed acyclic graphs for numerical constraint solving. J. Global Optim. 45, 499\u2013531 (2009)","journal-title":"J. Global Optim."}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-013-0139-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-013-0139-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-013-0139-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T17:22:25Z","timestamp":1565112145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-013-0139-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,17]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["139"],"URL":"https:\/\/doi.org\/10.1007\/s10898-013-0139-x","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,17]]}}}