{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T22:10:58Z","timestamp":1758406258068},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,3,16]],"date-time":"2013-03-16T00:00:00Z","timestamp":1363392000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s00211-013-0532-x","type":"journal-article","created":{"date-parts":[[2013,3,16]],"date-time":"2013-03-16T03:48:27Z","timestamp":1363405707000},"page":"27-60","source":"Crossref","is-referenced-by-count":9,"title":["Interval bounds on the solutions of semi-explicit index-one DAEs. Part 2: computation"],"prefix":"10.1007","volume":"125","author":[{"given":"Joseph K.","family":"Scott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul I.","family":"Barton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,16]]},"reference":[{"key":"532_CR1","volume-title":"Viability Theory","author":"JP Aubin","year":"1991","unstructured":"Aubin, J.P.: Viability Theory. Birkhauser, Boston (1991)"},{"issue":"2","key":"532_CR2","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1063\/1.4822377","volume":"10","author":"SD Cohen","year":"1996","unstructured":"Cohen, S.D., Hindmarsh, A.C.: CVODE, A Stiff\/Nonstiff ODE Solver in C. Comput. Phys. 10(2), 138\u2013143 (1996)","journal-title":"Comput. Phys."},{"key":"532_CR3","volume-title":"Conceptual design of distillation systems","author":"MF Doherty","year":"2001","unstructured":"Doherty, M.F., Malone, M.F.: Conceptual design of distillation systems. McGraw-Hill, New York (2001)"},{"key":"532_CR4","volume-title":"Introductory chemical engineering thermodynamics","author":"RJ Elliott","year":"1999","unstructured":"Elliott, R.J., Lira, C.T.: Introductory chemical engineering thermodynamics. Prentice-Hall, Upper Saddle River (1999)"},{"key":"532_CR5","volume-title":"Finite-dimensional variational inequalities and complementarity problems","author":"F Facchinei","year":"2003","unstructured":"Facchinei, F., Pang, J.S.: Finite-dimensional variational inequalities and complementarity problems, vol. 1. Springer, New York (2003)"},{"key":"532_CR6","doi-asserted-by":"crossref","unstructured":"Griewank, A.: Automatic directional differentiation of nonsmooth composite functions. In: R. Durier, C. Michelot (eds.) Recent Developments in Optimization. Lecture Notes in Economics and Mathematical Systems, 429, 155\u2013169 (1995)","DOI":"10.1007\/978-3-642-46823-0_13"},{"key":"532_CR7","unstructured":"Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, 3600 University City Science Center, Philadelphia, PA (2000)"},{"key":"532_CR8","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719222","volume-title":"Ordinary differential equations","author":"P Hartman","year":"2002","unstructured":"Hartman, P.: Ordinary differential equations, 2nd edn. SIAM, Philidelphia (2002)","edition":"2"},{"key":"532_CR9","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"AC Hindmarsh","year":"2005","unstructured":"Hindmarsh, A.C., Brown, P.N., Grant, K.E., Lee, S.L., Serban, R., Shumaker, D.E., Woodward, C.S.: SUNDIALS, suite of nonlinear and differential\/algebraic equation solvers. ACM Trans. Math. Software 31, 363\u2013396 (2005)","journal-title":"ACM Trans. Math. Software"},{"key":"532_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1023\/A:1022858921155","volume":"19","author":"J Hoefkens","year":"2003","unstructured":"Hoefkens, J., Berz, M., Makino, K.: Computing validated solutions of implicit differential equations. Adv. Comput. Math. 19, 231\u2013253 (2003)","journal-title":"Adv. Comput. Math."},{"key":"532_CR11","doi-asserted-by":"crossref","unstructured":"Khan, K.A., Barton, P.I.: Evaluating an element of the Clarke generalized Jacobian of a piecewise differentiable function. In: Forth, S., Hovland, P., Phipps, E., Utke, J., Walther, A. (eds.) Recent Advances in Algorithmic Differentiation, pp. 115\u2013125. Springer, Berlin","DOI":"10.1007\/978-3-642-30023-3_11"},{"key":"532_CR12","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01580665","volume":"10","author":"GP McCormick","year":"1976","unstructured":"McCormick, G.P.: Computability of global solutions to factorable nonconvex programs: Part I - convex underestimating problems. Math. Program. 10, 147\u2013175 (1976)","journal-title":"Math. Program."},{"key":"532_CR13","volume-title":"Analysis on Manifolds","author":"JR Munkres","year":"1991","unstructured":"Munkres, J.R.: Analysis on Manifolds. Westview Press, Cambridge (1991)"},{"issue":"1","key":"532_CR14","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(1), 236\u2013262 (2007)","journal-title":"SIAM J. Numer. Anal."},{"key":"532_CR15","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)"},{"issue":"3","key":"532_CR16","doi-asserted-by":"crossref","first-page":"381","DOI":"10.2478\/v10006-009-0032-4","volume":"19","author":"A Rauh","year":"2009","unstructured":"Rauh, A., Brill, M., Gunther, C.: A novel interval arithmetic approach for solving differential-algebraic equations with Valencia-IVP. Int. J. Appl. Math. Comput. Sci. 19(3), 381\u2013397 (2009)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"532_CR17","unstructured":"Scholtes, S.: Introduction to piecewise differentiable equations: Habilitation Thesis. University of Karlsruhe, Institut f\u00fcr Statistik und Mathematische Wirtschaftstheorie (1994)"},{"key":"532_CR18","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1016\/j.compchemeng.2009.11.021","volume":"34","author":"JK Scott","year":"2010","unstructured":"Scott, J.K., Barton, P.I.: Tight, efficient bounds on the solutions of chemical kinetics models. Comput. Chem. Eng. 34, 717\u2013731 (2010)","journal-title":"Comput. Chem. Eng."},{"key":"532_CR19","doi-asserted-by":"crossref","unstructured":"Scott, J.K., Barton, P.I.: Bounds on the reachable sets of nonlinear control systems. Automatica 49, 93\u2013100 (2013)","DOI":"10.1016\/j.automatica.2012.09.020"},{"key":"532_CR20","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/s10898-011-9664-7","volume":"51","author":"JK Scott","year":"2011","unstructured":"Scott, J.K., Stuber, M.D., Barton, P.I.: Generalized McCormick relaxations. J. Glob. Optim. 51, 569\u2013606 (2011). doi: 10.1007\/s10898-011-9664-7","journal-title":"J. Glob. Optim."}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-013-0532-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00211-013-0532-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-013-0532-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T01:34:25Z","timestamp":1562808865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00211-013-0532-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,16]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["532"],"URL":"https:\/\/doi.org\/10.1007\/s00211-013-0532-x","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,16]]}}}