{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:12:04Z","timestamp":1743073924121,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":111,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387747583"},{"type":"electronic","value":"9780387747590"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-0-387-74759-0_306","type":"book-chapter","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T11:01:04Z","timestamp":1219662064000},"page":"1739-1757","source":"Crossref","is-referenced-by-count":3,"title":["Interval Global Optimization"],"prefix":"10.1007","author":[{"given":"H.","family":"Ratschek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Rokne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"306_CR1_306","volume-title":"Introduction to interval computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld G, Herzberger J (1983) Introduction to interval computations. Acad. Press, New York"},{"key":"306_CR2_306","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF02241750","volume":"28","author":"N.S. Asaithambi","year":"1982","unstructured":"Asaithambi NS, Shen Z, Moore RE (1982) On computing the range of values. Computing 28:225\u2013237","journal-title":"Computing"},{"key":"306_CR3_306","first-page":"29","volume":"2","author":"A.B. Babichev","year":"1993","unstructured":"Babichev AB, Kadyrova AB, Kashevarova TP, Leshchenko AS, Semenov AL (1993) UniCalc, a\u00a0novel approach to solving systems of algebraic equations. Interval Comput 2:29\u201347, (Special Issue).","journal-title":"Interval Comput."},{"key":"306_CR4_306","volume-title":"Intervallmathematik: Theorie und Anwendungen","author":"H. Bauch","year":"1987","unstructured":"Bauch H, Jahn K-U, Oelschl\u00e4gel D, S\u00fcsse H, Wiebigke V (1987) Intervallmathematik: Theorie und Anwendungen. Teubner, Leipzig"},{"key":"306_CR5_306","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1009943413814","volume":"3","author":"F. Benhamou","year":"1997","unstructured":"Benhamou F, Granvilliers L (1997) Automatic generation of numerical redundancies for non-linear constraint solving. Reliable Computing 3:335\u2013344","journal-title":"Reliable Computing"},{"key":"306_CR6_306","unstructured":"Benhamou F, McAllester D, Van Hentenryck P (1994) CLP(intervals) revisited. In: Logic Programming, Proc. 1994 Internat. Symp., Ithaca, NY, MIT, Cambridge, MA, pp 124\u2013138"},{"key":"306_CR7_306","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"Benhamou F, Older WJ (1997) Applying interval arithmetic to real, integer and boolean constraints. J\u00a0Logic Programming 32:1\u201324","journal-title":"J. Logic Programming"},{"key":"306_CR8_306","unstructured":"Berner S (1995) Ein paralleles Verfahren zur verifizierten globalen Optimierung. Diss. Univ. Wuppertal,)."},{"key":"306_CR9_306","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1018968800262","volume":"90","author":"S. Berner","year":"1997","unstructured":"Berner S, McKinnon KIM, Millar C (1997) A\u00a0parallel algorithm for the global minimization of Gibbs free energy. Ann Oper Res 90:271\u2013292","journal-title":"Ann. Oper. Res."},{"key":"306_CR10_306","doi-asserted-by":"crossref","unstructured":"Berz M (1997) Differential algebras with remainder and rigorous proofs of long-term stability. AIP Conf. Proc. 391, 221\u2013228","DOI":"10.1063\/1.52377"},{"key":"306_CR11_306","unstructured":"Besanko IE, Winston WL (1989) Copyright protection and intertemporal pricing: does unauthorized copying lead to higher prices? Working Paper School Business Indiana Univ."},{"key":"306_CR12_306","first-page":"71","volume":"2","author":"O. Caprani","year":"1993","unstructured":"Caprani O, Godthaab B, Madsen K (1993) Use of a\u00a0real-valued local minimum in parallel interval global optimization. Interval Comput 2:71\u201382","journal-title":"Interval Comput."},{"key":"306_CR13_306","unstructured":"Caprani O, Madsen K (1979) Interval methods for global optimization. In: Vogt WG, Mickle MH (eds) Modeling and Simulation, 10:3, Instrument Soc. Amer., Pittsburgh, PA, pp 589\u2013593"},{"key":"306_CR14_306","volume-title":"Optimization and nonsmooth analysis","author":"F.H. Clarke","year":"1983","unstructured":"Clarke FH (1983) Optimization and nonsmooth analysis. Wiley, New York"},{"key":"306_CR15_306","unstructured":"Csallner AE, Csendes T (1995) Convergence speed of interval methods for global optimization and the joint effects of algorithmic modifications. Talk given at SCAN'95, Wuppertal,"},{"key":"306_CR16_306","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0898-1221(95)00229-4","volume":"31","author":"A.E. Csallner","year":"1996","unstructured":"Csallner AE, Csendes T (1996) The convergence speed of interval methods for global optimization. Comput Math Appl 31:173\u2013178","journal-title":"Comput. Math. Appl."},{"key":"306_CR17_306","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1080\/00207169308804215","volume":"49","author":"T. Csendes","year":"1993","unstructured":"Csendes T, Pinter J (1993) A\u00a0new interval method for locating the boundary of level sets. Internat J Comput Math 49:53\u201359","journal-title":"Internat. J. Comput. Math."},{"key":"306_CR18_306","doi-asserted-by":"publisher","first-page":"922","DOI":"10.1137\/S0036142995281528","volume":"34","author":"T. Csendes","year":"1997","unstructured":"Csendes T, Ratz D (1997) Subdivision direction selection in interval methods for global optimization. SIAM J Numer Anal 34:922\u2013938","journal-title":"SIAM J. Numer. Anal."},{"key":"306_CR19_306","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF02096403","volume":"58","author":"T. Csendes","year":"1995","unstructured":"Csendes T, Zabinsky ZB, Kristinsdottir BP (1995) Constructing large feasible suboptimal intervals for constrained linear\n\t    optimization. Ann Oper Res 58:279\u2013293","journal-title":"Ann. Oper. Res."},{"key":"306_CR20_306","doi-asserted-by":"crossref","unstructured":"Dussel R (1972) Einschliessung des Minimalpunktes einer streng konvexen Funktion auf einem n-dimensionalen Quader. Diss. Univ. Karlsruhe","DOI":"10.1002\/zamm.19730531294"},{"key":"306_CR21_306","unstructured":"Eriksson J (1991) Parallel global optimization using interval analysis. PhD Thesis Univ. Ume\u00e5a,)."},{"key":"306_CR22_306","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02390523","volume":"1","author":"J. Eriksson","year":"1995","unstructured":"Eriksson J, Lindstroem P (1995) A\u00a0parallel interval method implementation for global optimization using dynamic load balancing. Reliable Computing 1:77\u201392","journal-title":"Reliable Computing"},{"key":"306_CR23_306","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0076-5392(08)62844-1","volume-title":"Scientific Computing with Automatic Result Verification","author":"H. Fischer","year":"1993","unstructured":"Fischer H (1993) Automatic differentiation and applications. In: Adams E, Kulisch U (eds) Scientific Computing with Automatic Result Verification. Acad. Press, New York, pp 105\u2013142"},{"key":"306_CR24_306","first-page":"53","volume-title":"Wissenschaftliches Rechnen: Eine Einf\u00fchrung in das Scientific Computing","author":"H. Fischer","year":"1995","unstructured":"Fischer H (1995) Automatisches Differenzieren. In: Herzberger J (ed) Wissenschaftliches Rechnen: Eine Einf\u00fchrung in das Scientific Computing. Akad. Verlag, Berlin, pp 53\u2013104"},{"key":"306_CR25_306","volume-title":"Practical methods of optimization","author":"R. Fletcher","year":"1987","unstructured":"Fletcher R (1987) Practical methods of optimization. second, Wiley, New York"},{"key":"306_CR26_306","unstructured":"Goos A, Ratz D (1997) Praktische Realisierung und Test eines Verifikationsverfahrens zur L\u00f6sung globaler Optimierungsprobleme mit Ungleichungsnebenbedingungen, Inst. Angew. Math. Univ. Karlsruhe, Karlsruhe"},{"key":"306_CR27_306","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-3-642-59073-3_6","volume-title":"Recent Advances in Optimization","author":"C. G\u00f6rges","year":"1997","unstructured":"G\u00f6rges C, Ratschek H (1997) \u03f5-Interval methods in nonsmooth optimization. In: Gritzmann P Horst R Sachs E, Tichatschke R (eds) Recent Advances in Optimization. Springer, Berlin, pp 75\u201389"},{"key":"306_CR28_306","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1008224107486","volume":"14","author":"C. G\u00f6rges","year":"1999","unstructured":"G\u00f6rges C, Ratschek H (1999) Global interval methods for local nonsmooth optimization. J\u00a0Global Optim 14:157\u2013179","journal-title":"J. Global Optim."},{"volume-title":"Automatic differentiation of algorithms: Theory, implementation, and application","year":"1991","key":"306_CR29_306","unstructured":"Griewank A\u00a0and Corliss G (eds) (1991) Automatic differentiation of algorithms: Theory, implementation, and application. SIAM, Philadelphia"},{"key":"306_CR30_306","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00933139","volume":"29","author":"E.R. Hansen","year":"1979","unstructured":"Hansen ER (1979) Global optimization using interval analysis: the one-dimensional case. J\u00a0Optim Th Appl 29:331\u2013344","journal-title":"J. Optim. Th. Appl."},{"key":"306_CR31_306","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01396702","volume":"34","author":"E.R. Hansen","year":"1980","unstructured":"Hansen ER (1980) Global optimization using interval analysis: the multidimensional case. Numer Math 34:247\u2013270","journal-title":"Numer. Math."},{"key":"306_CR32_306","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/B978-0-12-505630-4.50021-3","volume-title":"Reliability in Computing: The Role of Interval Methods in Scientific Computing","author":"E.R. Hansen","year":"1988","unstructured":"Hansen ER (1988) An overview of global optimization using interval analysis. In: Moore RE (ed) Reliability in Computing: The Role of Interval Methods in Scientific Computing. Acad. Press, New York, pp 289\u2013307"},{"key":"306_CR33_306","volume-title":"Global optimization using interval analysis","author":"E.R. Hansen","year":"1992","unstructured":"Hansen ER (1992) Global optimization using interval analysis. M. Dekker, New York"},{"key":"306_CR34_306","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0096-3003(83)90001-2","volume":"12","author":"E.R. Hansen","year":"1983","unstructured":"Hansen ER, Greenberg RI (1983) An interval Newton method. Appl Math Comput 12:89\u201398","journal-title":"Appl. Math. Comput."},{"key":"306_CR35_306","first-page":"25","volume-title":"Interval Mathematics","author":"E.R. Hansen","year":"1980","unstructured":"Hansen ER, Sengupta S (1980) Global constrained optimization using interval analysis. In: Nickel K (ed) Interval Mathematics. Acad. Press, New York, 25\u201347"},{"key":"306_CR36_306","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF01933165","volume":"21","author":"E.R. Hansen","year":"1981","unstructured":"Hansen ER, Sengupta S (1981) Bounding solutions of systems of equations using interval analysis. BIT 21:203\u2013211","journal-title":"BIT"},{"key":"306_CR37_306","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/0704001","volume":"4","author":"E.R. Hansen","year":"1967","unstructured":"Hansen ER, Smith RR (1967) Interval arithmetic in matrix computations, Part II. SIAM J Numer Anal 4:1\u20139","journal-title":"SIAM J. Numer. Anal."},{"key":"306_CR38_306","unstructured":"Hansen ER, Walster GW (1987) Nonlinear equations and optimization. Preprint,)."},{"key":"306_CR39_306","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0898-1221(93)90282-Z","volume":"25","author":"E.R. Hansen","year":"1993","unstructured":"Hansen ER, Walster GW (1993) Bounds for Lagrange multipliers and optimal points. Comput Math Appl 25:59\u201369","journal-title":"Comput. Math. Appl."},{"key":"306_CR40_306","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/BF02207774","volume":"80","author":"P. Hansen","year":"1992","unstructured":"Hansen P, Jaumard B, Xiong J (1992) The cord-slope form of Taylor's expansion in univariate global optimization. JOTA 80:441\u2013464","journal-title":"JOTA"},{"key":"306_CR41_306","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: A\u00a0modeling language for global optimization","author":"P. Van Hentenryck","year":"1997","unstructured":"Van Hentenryck P, Michel L, Deville Y (1997) Numerica: A\u00a0modeling language for global optimization. MIT, Cambridge, MA"},{"key":"306_CR42_306","unstructured":"Hua JZ (1997) Interval methods for reliable computations of phase equilibrium from equation of state models. PhD Thesis Univ. Illinois at Urbana-Champaign"},{"key":"306_CR43_306","doi-asserted-by":"publisher","first-page":"S395","DOI":"10.1016\/0098-1354(96)00076-2","volume":"20","author":"J.Z. Hua","year":"1996","unstructured":"Hua JZ, Brennecke JF, Stadtherr MA (1996) Reliable phase stability analysis for cubic equation of state models. Comput Chem Eng 20:S395\u2013S400","journal-title":"Computers Chem. Engin."},{"key":"306_CR44_306","doi-asserted-by":"publisher","first-page":"1519","DOI":"10.1021\/ie970535+","volume":"37","author":"J.Z. Hua","year":"1998","unstructured":"Hua JZ, Brennecke JF, Stadtherr MA (1998) Enhanced interval analysis for phase stability: Cubic equation of state models. Industr Eng Chem Res 37:1519\u20131527","journal-title":"Industr. Engin. Chem. Res."},{"key":"306_CR45_306","volume-title":"Applications of Interval Computations","author":"E. Hyv\u00f6nen","year":"1996","unstructured":"Hyv\u00f6nen E, De Pascale S (1996) Interval computations on the spreadsheet. In: Kearfott RB, Kreinovich V (eds) Applications of Interval Computations. Kluwer, Dordrecht"},{"key":"306_CR46_306","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF02252616","volume":"23","author":"K. Ichida","year":"1979","unstructured":"Ichida K, Fujii Y (1979) An interval arithmetic method of global optimization. Computing 23:85\u201397","journal-title":"Computing"},{"key":"306_CR47_306","unstructured":"Van Iwaarden RJ (1996) An improved unconstrained global optimization algorithm. PhD Thesis Univ. Colorado at Denver"},{"key":"306_CR48_306","first-page":"381","volume-title":"Topics in Validated Computations","author":"C. Jansson","year":"1994","unstructured":"Jansson C (1994) On self-validating methods for optimization problems. In: Herzberger J (ed) Topics in Validated\n\t    Computations. Elsevier, Amsterdam, pp 381\u2013438"},{"key":"306_CR49_306","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF01279453","volume":"7","author":"C. Jansson","year":"1995","unstructured":"Jansson C, Kn\u00fcppel O (1995) A\u00a0branch and bound algorithm for bound constrained optimization problems without derivatives. J\u00a0Global Optim 7:297\u2013331","journal-title":"J. Global Optim."},{"key":"306_CR50_306","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BF01299329","volume":"7","author":"M. Jerrell","year":"1994","unstructured":"Jerrell M (1994) Global optimization using interval arithmetic. J\u00a0Comput Economics 7:55\u201362","journal-title":"J. Comput. Economics"},{"key":"306_CR51_306","series-title":"Lecture Notes.","volume-title":"A more complete interval arithmetic","author":"W.M. Kahan","year":"1968","unstructured":"Kahan WM (1968) A\u00a0more complete interval arithmetic. Lecture Notes Univ. Michigan, Ann Arbor, MI"},{"key":"306_CR52_306","volume-title":"Methods of interval analysis","author":"S.A. Kalmykov","year":"1986","unstructured":"Kalmykov SA, Shokin YuI, Yuldashev ZKh (1986) Methods of interval analysis. Nauka, Moscow (In Russian)"},{"key":"306_CR53_306","doi-asserted-by":"publisher","first-page":"187","DOI":"10.2307\/2008257","volume":"49","author":"R.B. Kearfott","year":"1987","unstructured":"Kearfott RB (1987) Abstract generalized bisection and a\u00a0cost bound. Math Comput 49:187\u2013202","journal-title":"Math. Comput."},{"key":"306_CR54_306","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1137\/0727047","volume":"27","author":"R.B. Kearfott","year":"1990","unstructured":"Kearfott RB (1990) Preconditioners for the interval Gauss\u2013Seidel method. SIAM J Numer Anal 27:804\u2013822","journal-title":"SIAM J. Numer. Anal."},{"key":"306_CR55_306","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF02276877","volume":"57","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott RB (1996) Interval extensions of non-smooth functions for global optimization and nonlinear systems solver. Computing 57:149\u2013162","journal-title":"Computing"},{"key":"306_CR56_306","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-1-4613-3440-8_2","volume-title":"Applications of Interval Computations","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott RB (1996) A\u00a0review of techniques in the verified solution of constrained global optimization problems. In: Kearfott RB, Kreinovich V (eds) Applications of Interval Computations. Kluwer, Dordrecht, pp 23\u201359"},{"key":"306_CR57_306","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 RB (1996) Rigorous global search: continuous problems. Kluwer, Dordrecht"},{"key":"306_CR58_306","unstructured":"Kearfott RB (1997) On proving existence of feasible points in equality constrained optimization. Preprint"},{"key":"306_CR59_306","first-page":"173","volume-title":"Scientific Computing and Validated Numerics","author":"R.B. Kearfott","year":"1996","unstructured":"Kearfott RB, Shi X (1996) Optimal preconditioners for the interval Gauss-Seidel method. In: Alefeld G Frommer A\u00a0and Lang B (eds) Scientific Computing and Validated Numerics. Akad. Verlag, Berlin, pp 173\u2013178"},{"key":"306_CR60_306","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R. Krawczyk","year":"1969","unstructured":"Krawczyk R (1969) Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing 4:187\u2013201","journal-title":"Computing"},{"issue":"2","key":"306_CR61_306","first-page":"1","volume":"83","author":"R. Krawczyk","year":"1983","unstructured":"Krawczyk R (1983) Intervallsteigungen f\u00fcr rationale Funktionen und zugeordnete zentrische Formen. Freiburger Intervall-Ber, Inst Angew Math Univ Freiburg 83(2):1\u201330","journal-title":"Freiburger Intervall-Ber., Inst. Angew. Math. Univ. Freiburg"},{"key":"306_CR62_306","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1137\/0722037","volume":"22","author":"R. Krawczyk","year":"1985","unstructured":"Krawczyk R, Neumaier A (1985) Interval slopes for rational functions and associated centered forms. SIAM J Numer Anal 22:604\u2013616","journal-title":"SIAM J. Numer. Anal."},{"key":"306_CR63_306","first-page":"133","volume":"3","author":"B.P. Kristinsdottir","year":"1993","unstructured":"Kristinsdottir BP, Zabinsky ZB, Csendes T, Tuttle ME (1993) Methodologies for tolerance intervals. Interval Comput 3:133\u2013147","journal-title":"Interval Comput."},{"key":"306_CR64_306","unstructured":"Mancini LJ (1975) Applications of interval arithmetic in signomial programming. SOL Techn Report Stanford Univ 75-23"},{"key":"306_CR65_306","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1287\/opre.27.4.743","volume":"27","author":"L.J. Mancini","year":"1979","unstructured":"Mancini LJ, McCormick GP (1979) Bounding global minima with interval arithmetic. Oper Res 27:743\u2013754","journal-title":"Oper. Res."},{"key":"306_CR66_306","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF00933408","volume":"26","author":"L.J. Mancini","year":"1978","unstructured":"Mancini LJ, Wilde DJ (1978) Interval arithmetic in unidimensional signomial programming. J\u00a0Optim Th Appl 26:277\u2013289","journal-title":"J. Optim. Th. Appl."},{"key":"306_CR67_306","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/BF00933598","volume":"28","author":"L.J. Mancini","year":"1979","unstructured":"Mancini LJ, Wilde DJ (1979) Signomial dual Kuhn\u2013Tucker intervals. J\u00a0Optim Th Appl 28:11\u201327","journal-title":"J. Optim. Th. Appl."},{"key":"306_CR68_306","first-page":"837","volume":"27","author":"K. Maruyama","year":"1986","unstructured":"Maruyama K (1986) Global optimization with interval analysis (electronic switching systems). Trans Inform Process Soc Japan 27:837\u2013844","journal-title":"Trans. Inform. Process. Soc. Japan"},{"key":"306_CR69_306","first-page":"365","volume-title":"State of the Art in Global Optimization","author":"K.I.M. McKinnon","year":"1995","unstructured":"McKinnon KIM, Millar C, Mongeau M (1995) Global optimization for the chemical and phase equilibrium problem using interval analysis. In: Floudas CA, Pardalos PM (eds) State of the Art in Global Optimization. Kluwer, Dordrecht, pp 365\u2013382"},{"key":"306_CR70_306","unstructured":"Mohd IB (1962) Global optimization using interval arithmetic. PhD Thesis Univ. St. Andrews, Scotland,)."},{"key":"306_CR71_306","volume-title":"Interval analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore RE (1966) Interval analysis. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"306_CR72_306","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02241975","volume":"16","author":"R.E. Moore","year":"1976","unstructured":"Moore RE (1976) On computing the range of values of a\u00a0rational function of n variables over a\u00a0bounded region. Computing 16:1\u201315","journal-title":"Computing"},{"key":"306_CR73_306","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1137\/0714040","volume":"14","author":"R.E. Moore","year":"1977","unstructured":"Moore RE (1977) A\u00a0test for existence of solutions to non-linear systems. SIAM J Numer Anal 14:611\u2013615","journal-title":"SIAM J. Numer. Anal."},{"key":"306_CR74_306","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 RE (1979) Methods and applications of interval analysis. SIAM, Philadelphia"},{"key":"306_CR75_306","volume-title":"Reliability in computing: the role of interval methods in scientific computing","author":"R.E. Moore","year":"1988","unstructured":"Moore RE (1988) Reliability in computing: the role of interval methods in scientific computing. Acad. Press, New York"},{"key":"306_CR76_306","first-page":"336","volume-title":"Recent Advances in Global Optimization","author":"R.E. Moore","year":"1992","unstructured":"Moore RE, Hansen ER, Leclerc A (1992) Rigorous methods for global optimization. In: Floudas CA, Pardalos PM (eds) Recent Advances in Global Optimization. Princeton Univ. Press, Princeton, pp 336\u2013342"},{"key":"306_CR77_306","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01580772","volume":"41","author":"R.E. Moore","year":"1988","unstructured":"Moore RE, Ratschek H (1988) Inclusion functions and global optimization II. Math Program 41:341\u2013356","journal-title":"Math. Program."},{"key":"306_CR78_306","first-page":"175","volume":"90","author":"H. Munack","year":"1992","unstructured":"Munack H (1992) Global optimization of an electron beam lithography system using interval arithmetic. Optik 90:175\u2013183","journal-title":"Optik"},{"key":"306_CR79_306","volume-title":"Interval methods for systems of equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier A (1990) Interval methods for systems of equations. Cambridge Univ. Press, Cambridge"},{"key":"306_CR80_306","first-page":"334","volume-title":"Scientific Computing and Validated Numerics","author":"A. Nonnenmacher","year":"1995","unstructured":"Nonnenmacher A, Mlynski DM (1995) Liquid crystal simulation using automatic differentiation and interval arithmetic. In: Alefeld G, Frommer A\u00a0and Lang B (eds) Scientific Computing and Validated Numerics. Akad. Verlag, Berlin, pp 334\u2013340"},{"key":"306_CR81_306","first-page":"389","volume":"9","author":"D. Oelschl\u00e4gel","year":"1978","unstructured":"Oelschl\u00e4gel D, S\u00fcsse H (1978) Fehlerabsch\u00e4tzung beim Verfahren von Wolfe zur L\u00f6sung Quadratischer Optimierungsprobleme mit Hilfe der Intervallarithmetik. Math Operationsforsch Statist Ser Optim 9:389\u2013396","journal-title":"Math. Operationsforsch. Statist. Ser. Optim."},{"key":"306_CR82_306","unstructured":"Older WD (1993) Using interval arithmetic for non-linear constrained optimization. Manuscript WCLP Invited talk"},{"key":"306_CR83_306","first-page":"175","volume-title":"Constraint Logic Programming. Selected Res.","author":"W.D. Older","year":"1993","unstructured":"Older WD, Vellino A (1993) Constraint arithmetic on real intervals. In: Benhamou F, Colmerauer A (eds) Constraint Logic Programming. Selected Res. MIT, Cambridge, MA, pp 175\u2013195"},{"key":"306_CR84_306","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10861-0","volume-title":"Automatic differentiation: techniques and applications","author":"L.B. Rall","year":"1981","unstructured":"Rall LB (1981) Automatic differentiation: techniques and applications. Springer, Berlin"},{"key":"306_CR85_306","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/3-540-07170-9_5","volume-title":"Interval Mathematics","author":"H. Ratschek","year":"1975","unstructured":"Ratschek H (1975) Nichtnumerische Aspekte der Intervallarithmetik. In: Nickel K (ed) Interval Mathematics. Springer, Berlin, pp 48\u201374"},{"key":"306_CR86_306","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/BF01584379","volume":"33","author":"H. Ratschek","year":"1985","unstructured":"Ratschek H (1985) Inclusion functions and global optimization. Math Program 33:300\u2013317","journal-title":"Math. Program."},{"key":"306_CR87_306","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/B978-0-12-505630-4.50023-7","volume-title":"Reliability in Computing: The Role of Interval Methods in Scientific Computing","author":"H. Ratschek","year":"1988","unstructured":"Ratschek H (1988) Some recent aspects of interval algorithms for global optimization. In: Moore RE (ed) Reliability in Computing:\n\t    The Role of Interval Methods in Scientific Computing. Acad. Press, New York, pp 325\u2013339"},{"volume-title":"Computer methods for the range of functions","year":"1984","key":"306_CR88_306","unstructured":"Ratschek H, Rokne J (eds) (1984) Computer methods for the range of functions. Horwood, Westergate"},{"key":"306_CR89_306","doi-asserted-by":"publisher","first-page":"1191","DOI":"10.1137\/0724078","volume":"24","author":"H. Ratschek","year":"1987","unstructured":"Ratschek H, Rokne J (1987) Efficiency of a\u00a0global optimization algorithm. SIAM J Numer Anal 24:1191\u20131201","journal-title":"SIAM J. Numer. Anal."},{"key":"306_CR90_306","volume-title":"New computer methods for global optimization","author":"H. Ratschek","year":"1988","unstructured":"Ratschek H, Rokne J (1988) New computer methods for global optimization. Horwood, Westergate"},{"key":"306_CR91_306","first-page":"419","volume-title":"Comput. Appl. Math., vol\u00a0I","author":"H. Ratschek","year":"1992","unstructured":"Ratschek H, Rokne J (1992) Nonuniform variable precision bisecting. In: Brezinski C, Kulisch U (eds) Comput. Appl. Math., vol\u00a0I. Elsevier, Amsterdam, pp 419\u2013428"},{"key":"306_CR92_306","doi-asserted-by":"publisher","first-page":"1725","DOI":"10.1016\/0026-2714(92)90270-U","volume":"32","author":"H. Ratschek","year":"1992","unstructured":"Ratschek H, Rokne J (1992) The transistor modeling problem again. Microelectronics and Reliability 32:1725\u20131740","journal-title":"Microelectronics and Reliability"},{"key":"306_CR93_306","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1007\/978-1-4615-2025-2_14","volume-title":"Handbook Global Optim.","author":"H. Ratschek","year":"1995","unstructured":"Ratschek H, Rokne J (1995) Interval methods. In: Horst R, Pardalos PM (eds) Handbook Global Optim. Kluwer, Dordrecht, pp 751\u2013828"},{"key":"306_CR94_306","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1137\/0328031","volume":"28","author":"H. Ratschek","year":"1990","unstructured":"Ratschek H, Voller RL (1990) Unconstrained optimization over unbounded domains. SIAM J Control Optim 28:528\u2013539","journal-title":"SIAM J. Control Optim."},{"key":"306_CR95_306","unstructured":"Ratz D (1992) Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Diss. Univ. Karlsruhe"},{"key":"306_CR96_306","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF02307384","volume":"53","author":"D. Ratz","year":"1994","unstructured":"Ratz D (1994) Box-splitting strategies for the interval Gauss\u2013Seidel step in a\u00a0global optimization method. Computing 53:337\u2013354","journal-title":"Computing"},{"key":"306_CR97_306","first-page":"221","volume-title":"Scientific Computing and Validated Numerics","author":"D. Ratz","year":"1996","unstructured":"Ratz D (1996) On branching rules in second-order branch-and-bound methods in a\u00a0global optimization method. In: Alefeld G, Frommer A\u00a0and Lang B (eds) Scientific Computing and Validated Numerics. Akad. Verlag, Berlin, pp 221\u2013227"},{"key":"306_CR98_306","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/BF01580124","volume":"5","author":"S.M. Robinson","year":"1973","unstructured":"Robinson SM (1973) Computable error bounds for nonlinear programming. Math Program 5:235\u2013242","journal-title":"Math. Program."},{"key":"306_CR99_306","first-page":"40","volume":"3","author":"C.A. Schnepper","year":"1993","unstructured":"Schnepper CA, Stadtherr MA (1993) Application of a\u00a0parallel interval Newton\/generalized bisection algorithm to equation-based chemical process flowsheeting. Interval Comput 3:40\u201364","journal-title":"Interval Comput."},{"key":"306_CR100_306","unstructured":"Sengupta S (1981) Global nonlinear constrained optimization. Diss. Dept. Pure Appl. Math., Washington State Univ."},{"key":"306_CR101_306","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0096-3003(90)90124-L","volume":"39","author":"Z. Shen","year":"1990","unstructured":"Shen Z, Wolfe MA (1990) On interval enclosures using slope arithmetic. Appl Math Comput 39:89\u2013105","journal-title":"Appl. Math. Comput."},{"key":"306_CR102_306","volume-title":"Interval analysis","author":"Yu.I. Shokin","year":"1981","unstructured":"Shokin YuI (1981) Interval analysis. Nauka, Moscow (In Russian)"},{"key":"306_CR103_306","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BF01933121","volume":"14","author":"S. Skelboe","year":"1974","unstructured":"Skelboe S (1974) Computation of rational interval functions. BIT 14:87\u201395","journal-title":"BIT"},{"key":"306_CR104_306","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF01934369","volume":"11","author":"T. Stroem","year":"1971","unstructured":"Stroem T (1971) Strict estimation of the maximum of a\u00a0function of one variable. BIT 11:199\u2013211","journal-title":"BIT"},{"key":"306_CR105_306","unstructured":"S\u00fcsse H (1977) Intervallarithmetische Behandlung von Optimierungsproblemen und Damit Verbundener Numerischer Aufgabenstellungen. Diss., Techn. Hochsch. \u2018Carl Schorlemmer\u2019 Leuna-Merseburg"},{"key":"306_CR106_306","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1016\/0098-1354(94)E0032-I","volume":"18","author":"R. Vaidyanathan","year":"1994","unstructured":"Vaidyanathan R, El-Halwagi M (1994) Global optimization of nonconvex nonlinear programs via interval analysis. Comput Chem Eng 18:889\u2013897","journal-title":"Computers Chem. Engin."},{"key":"306_CR107_306","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1016\/0305-0548(94)00061-C","volume":"22","author":"M.A. Venkataramanan","year":"1995","unstructured":"Venkataramanan MA, Cabot AV, Winston WL (1995) An interval branch and bound algorithm for global optimization of a\u00a0multiperiod pricing model. Comput Oper Res 22:681\u2013687","journal-title":"Comput. Oper. Res."},{"key":"306_CR108_306","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/355586.364791","volume":"7","author":"R.E. Wengert","year":"1964","unstructured":"Wengert RE (1964) A\u00a0simple automatic derivative evaluation program. Comm ACM 7:463\u2013464","journal-title":"Comm. ACM"},{"key":"306_CR109_306","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1016\/0377-0427(94)90331-X","volume":"50","author":"M.A. Wolfe","year":"1994","unstructured":"Wolfe MA (1994) An interval algorithm for constrained global optimization. J\u00a0Comput Appl Math 50:605\u2013612","journal-title":"J. Comput. Appl. Math."},{"key":"306_CR110_306","first-page":"179","volume":"75","author":"M.A. Wolfe","year":"1996","unstructured":"Wolfe MA (1996) Interval methods for global optimization. Appl Math Comput 75:179\u2013206","journal-title":"Appl. Math. Comput."},{"key":"306_CR111_306","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0096-3003(94)90189-9","volume":"63","author":"M.A. Wolfe","year":"1994","unstructured":"Wolfe MA, Zhang LS (1994) An interval algorithm for nondifferentiable global optimization. Appl Math Comput 63:101\u2013122","journal-title":"Appl. Math. Comput."}],"container-title":["Encyclopedia of Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-74759-0_306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T09:59:19Z","timestamp":1720691959000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-74759-0_306"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780387747583","9780387747590"],"references-count":111,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-74759-0_306","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}