{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T12:32:25Z","timestamp":1774269145578,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,10,25]],"date-time":"2012-10-25T00:00:00Z","timestamp":1351123200000},"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":[[2013,9]]},"DOI":"10.1007\/s10898-012-9998-9","type":"journal-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T12:38:16Z","timestamp":1351082296000},"page":"75-114","source":"Crossref","is-referenced-by-count":25,"title":["Convergence analysis of Taylor models and McCormick-Taylor models"],"prefix":"10.1007","volume":"57","author":[{"given":"Agust\u00edn","family":"Bompadre","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Mitsos","sequence":"additional","affiliation":[]},{"given":"Beno\u00eet","family":"Chachuat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,10,25]]},"reference":[{"issue":"9","key":"9998_CR1","doi-asserted-by":"crossref","first-page":"1137","DOI":"10.1016\/S0098-1354(98)00027-1","volume":"22","author":"C.S. Adjiman","year":"1998","unstructured":"Adjiman C.S., Dallwig S., Floudas C.A., Neumaier A.: A global optimization method, \u03b1BB, for general twice-differentiable constrained NLPs-I. Theoretical advances. Comput. Chem. Eng. 22(9), 1137\u20131158 (1998)","journal-title":"Comput. Chem. Eng."},{"issue":"4","key":"9998_CR2","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/s10898-004-6455-4","volume":"30","author":"I.G. Akrotirianakis","year":"2004","unstructured":"Akrotirianakis I.G., Floudas C.A.: A new class of improved convex underestimators for twice continuously differentiable constrained NLPs. J. Global. Optim. 30(4), 367\u2013390 (2004)","journal-title":"J. Global. Optim."},{"key":"9998_CR3","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/S0377-0427(00)00342-3","volume":"121","author":"G. Alefeld","year":"2000","unstructured":"Alefeld G., Mayer G.: Interval analysis: theory and applications. J. Comput. Appl. Math. 121, 421\u2013464 (2000)","journal-title":"J. Comput. Appl. Math."},{"issue":"4\u20135","key":"9998_CR4","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1080\/10556780903087124","volume":"24","author":"P. Belotti","year":"2009","unstructured":"Belotti P., Lee J., Liberti L., Margot F., W\u00e4chter A.: Branching and bounds tightening techniques for nonconvex MINLP. Optim. Meth. Softw. 24(4\u20135), 597\u2013634 (2009)","journal-title":"Optim. Meth. Softw."},{"key":"9998_CR5","doi-asserted-by":"crossref","unstructured":"Berz, M.: From Taylor series to Taylor models. In: Nonlinear Problems in Accelerator Physics, pp. 1\u201327. American Institute of Physics CP405 (1997)","DOI":"10.1063\/1.53493"},{"key":"9998_CR6","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1009958918582","volume":"4","author":"M. Berz","year":"1998","unstructured":"Berz M., Hoffst\u00e4tter G.: Computation and application of Taylor polynomials with remainder bounds. Reliab. Comput. 4, 83\u201397 (1998)","journal-title":"Reliab. Comput."},{"issue":"4","key":"9998_CR7","first-page":"385","volume":"10","author":"M. Berz","year":"2005","unstructured":"Berz M., Makino K.: Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by shrink wrapping. Int. J. Differ. Equ. Appl. 10(4), 385\u2013403 (2005)","journal-title":"Int. J. Differ. Equ. Appl."},{"issue":"1","key":"9998_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10898-011-9685-2","volume":"52","author":"A. Bompadre","year":"2012","unstructured":"Bompadre A., Mitsos A.: Convergence rate of McCormick relaxations. J. Glob. Optim. 52(1), 1\u201328 (2012)","journal-title":"J. Glob. Optim."},{"key":"9998_CR9","unstructured":"Chachuat, B.: MC++ a versatile library for McCormick relaxations and Taylor models, version 0.7. http:\/\/www3.imperial.ac.uk\/people\/b.chachuat (2011)"},{"issue":"3","key":"9998_CR10","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF01096455","volume":"5","author":"K.S. Du","year":"1994","unstructured":"Du K.S., Kearfott R.B.: The cluster problem in multivariate global optimization. J. Glob. Optim. 5(3), 253\u2013265 (1994)","journal-title":"J. Glob. Optim."},{"key":"9998_CR11","first-page":"289","volume":"47","author":"J.P. Eckmann","year":"1984","unstructured":"Eckmann J.P., Koch H., Wittwer P.: A computer-assisted proof of universality in area-preserving maps. Mem AMS 47, 289 (1984)","journal-title":"Mem AMS"},{"issue":"1","key":"9998_CR12","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10898-008-9288-8","volume":"42","author":"C.E. Gounaris","year":"2008","unstructured":"Gounaris C.E., Floudas C.A.: Tight convex underestimators for $${\\mathcal{C}^2}$$ continuous problems: II. Multivariate functions. J. Glob. Optim. 42(1), 69\u201389 (2008)","journal-title":"J. Glob. Optim."},{"key":"9998_CR13","unstructured":"Hoefkens, J.: Rigorous numerical analysis with high-order Taylor models. PhD thesis, Michigan State University, East Lansing, MI (2001)"},{"key":"9998_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03199-5","volume-title":"Global Optimization: Deterministic Approaches","author":"R. Horst","year":"1996","unstructured":"Horst R., Tuy H.: Global Optimization: Deterministic Approaches. 3rd edn. Springer, Berlin (1996)","edition":"3"},{"issue":"Suppl.","key":"9998_CR15","first-page":"117","volume":"9","author":"R.B. Kearfott","year":"1992","unstructured":"Kearfott R.B., Du K.S.: The cluster problem in global optimization: the univariate case. Computing 9(Suppl.), 117\u2013127 (1992)","journal-title":"Computing"},{"issue":"10","key":"9998_CR16","doi-asserted-by":"crossref","first-page":"1145","DOI":"10.1016\/j.apnum.2006.10.006","volume":"57","author":"Y. Lin","year":"2007","unstructured":"Lin Y., Stadtherr M.A.: Validated solutions of initial value problems for parametric ODEs. Appl. Numer. Math. 57(10), 1145\u20131162 (2007)","journal-title":"Appl. Numer. Math."},{"key":"9998_CR17","unstructured":"Makino, K.: Rigorous analysis of nonlinear motion in particle accelerators. PhD thesis, Michigan State University, East Lansing, MI (1998)"},{"key":"9998_CR18","first-page":"63","volume-title":"Computational Differentiation: Techniques, Application, and Tools","author":"K. Makino","year":"1996","unstructured":"Makino K., Berz M.: Remainder differential algebras and their applications. In: Berz, M., Bishof, C., Corliss, G., Griewank, A. (eds) Computational Differentiation: Techniques, Application, and Tools, pp. 63\u201375. SIAM, Philadelphia, PA (1996)"},{"issue":"1","key":"9998_CR19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1026485406803","volume":"5","author":"K. Makino","year":"1999","unstructured":"Makino K., Berz M.: Efficient control of the dependency problem based on Taylor model methods. Reliab. Comput. 5(1), 3\u201312 (1999)","journal-title":"Reliab. Comput."},{"key":"9998_CR20","first-page":"379","volume":"4","author":"K. Makino","year":"2003","unstructured":"Makino K., Berz M.: Taylor models and other validated functional methods. Int. J. Pure Appl. Math. 4, 379\u2013456 (2003)","journal-title":"Int. J. Pure Appl. Math."},{"issue":"4","key":"9998_CR21","first-page":"353","volume":"10","author":"K. Makino","year":"2005","unstructured":"Makino K., Berz M.: Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by preconditioning. Int. J. Differ. Equ. Appl. 10(4), 353\u2013384 (2005)","journal-title":"Int. J. Differ. Equ. Appl."},{"key":"9998_CR22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF01096720","volume":"4","author":"C.D. Maranas","year":"1994","unstructured":"Maranas C.D., Floudas C.A.: Global minimum potential energy conformations of small molecules. J. Glob. Optim. 4, 135\u2013170 (1994)","journal-title":"J. Glob. Optim."},{"key":"9998_CR23","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01580665","volume":"10","author":"G.P. McCormick","year":"1976","unstructured":"McCormick G.P.: Computability of global solutions to factorable nonconvex programs: Part I\u2014convex underestimating problems. Math. Program. 10, 147\u2013175 (1976)","journal-title":"Math. Program."},{"issue":"2","key":"9998_CR24","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1137\/080717341","volume":"20","author":"A. Mitsos","year":"2009","unstructured":"Mitsos A., Chachuat B., Barton P.I.: McCormick-based relaxations of algorithms. SIAM J. Optim. 20(2), 573\u2013601 (2009)","journal-title":"SIAM J. Optim."},{"key":"9998_CR25","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R.E. Moore","year":"1979","unstructured":"Moore R.E.: Methods and Applications of Interval Analysis. SIAM, Philadelphia, PA (1979)"},{"key":"9998_CR26","volume-title":"Topology","author":"J. Munkres","year":"1999","unstructured":"Munkres J.: Topology. Prentice Hall, Englewood Cliffs (1999)"},{"key":"9998_CR27","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1137\/050638448","volume":"45","author":"M. Neher","year":"2007","unstructured":"Neher M., Jackson K.R., Nedialkov N.S.: On Taylor model based integration of ODEs. SIAM J. Numer. Anal. 45, 236\u2013262 (2007)","journal-title":"SIAM J. Numer. Anal."},{"issue":"1","key":"9998_CR28","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1023\/A:1023061927787","volume":"9","author":"A. Neumaier","year":"2002","unstructured":"Neumaier A.: Taylor forms\u2014use and limits. Reliab. Comput. 9(1), 43\u201379 (2002)","journal-title":"Reliab. Comput."},{"key":"9998_CR29","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1017\/S0962492904000194","volume":"13","author":"A. Neumaier","year":"2004","unstructured":"Neumaier A.: Complete search in continuous global optimization and constraint satisfaction. Acta Numer. 13, 271\u2013369 (2004)","journal-title":"Acta Numer."},{"key":"9998_CR30","volume-title":"Computer Methods for the Range of Functions. Mathematics and Its Applications","author":"H. Ratschek","year":"1984","unstructured":"Ratschek H., Rokne J.: Computer Methods for the Range of Functions. Mathematics and Its Applications. Ellis Horwood Ltd, Mathematics and Its Applications, Chichester, UK (1984)"},{"issue":"5","key":"9998_CR31","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1016\/j.compchemeng.2011.01.031","volume":"35","author":"A.M. Sahlodin","year":"2011","unstructured":"Sahlodin A.M., Chachuat B.: Convex\/concave relaxations of parametric ODEs using Taylor models. Comput. Chem. Eng. 35(5), 844\u2013857 (2011)","journal-title":"Comput. Chem. Eng."},{"issue":"3","key":"9998_CR32","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/s10898-009-9502-3","volume":"48","author":"A. Sch\u00f6bel","year":"2010","unstructured":"Sch\u00f6bel A., Scholz D.: The theoretical and empirical rate of convergence for geometric branch-and-bound methods. J. Glob. Optim. 48(3), 473\u2013495 (2010)","journal-title":"J. Glob. Optim."},{"issue":"4","key":"9998_CR33","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1007\/s10898-011-9735-9","volume":"53","author":"D. Scholz","year":"2012","unstructured":"Scholz D.: Theoretical rate of convergence for interval inclusion functions. J. Glob. Optim. 53(4), 749\u2013767 (2012)","journal-title":"J. Glob. Optim."},{"key":"9998_CR34","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1016\/S0098-1354(98)00286-5","volume":"23","author":"E.M.B. Smith","year":"1999","unstructured":"Smith E.M.B., Pantelides C.C.: A symbolic reformulation\/spatial branch-and-bound algorithm for the global optimisation of nonconvex MINLPs. Comput. Chem. Eng. 23, 457\u2013478 (1999)","journal-title":"Comput. Chem. Eng."},{"issue":"3","key":"9998_CR35","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1007\/s10107-003-0467-6","volume":"99","author":"M. Tawarmalani","year":"2004","unstructured":"Tawarmalani M., Sahinidis N.V.: Global optimization of mixed-integer nonlinear programs: a theoretical and computational study. Math. Program. 99(3), 563\u2013591 (2004)","journal-title":"Math. Program."}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-012-9998-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-012-9998-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-012-9998-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T23:33:07Z","timestamp":1562283187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-012-9998-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,25]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["9998"],"URL":"https:\/\/doi.org\/10.1007\/s10898-012-9998-9","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,25]]}}}