INTOPT_90
Rigorous global search: continuous problems The monograph gives a survey of interval arithmetic based methods for solving systems of equations and global optimization problems. The connection between these two themes is that zero finding is an almost unavoidable part of optimization. The interval arithmetic philosophy of selfvalidation is followed in the book as indicated by the term “rigorous” in the title. That means that for each of the two problems all solutions are to be found and enclosed in sufficiently small boxes. In addition the solutions ought to be unique in these boxes. -- The book contains standard results, new results and ones that need further development. Algorithmic and practical tools are emphasized, theoretical considerations are sporadically present. Many extensive remarks and explanations are connected with INTLIB, INTLIB 90 and INTOPT 90 which are the authors’s software and library packages for interval arithmetic and the solvers for the above mentioned problems in FORTRAN 77 resp. FORTRAN 90. par The book consists of seven chapters and a bibliography of 247 items. The first chapter (69 pages) introduces interval arithmetic, solving linear interval equations, automatic differentiation and code list generation, interval Newton method, and a short glance at the topological degree idea, which seems a bit outside the interval scope of the book. A groad chapter (42 pages) about interval software follows. Described are primarily the packages mentioned before which allow, among others, the generation of code lists and automatic differentiation. The chapter on preconditioning (32 pages) contains some of the authors own results and it provides techniques to transform linear interval equations into ones which might have tighter solution intervals. The chapter about solving nonlinear systems of equations (23 pages) features a rather practical and numerical approach in a branch and bound pattern touching many software details. The chapter on global optimization (40 pages) only admits equality constraints (within a box frame). The solution procedures are based on branch and bound, infeasibility test, interval Newton algorithm applied to the John conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster’s pioneering concept of 1987 (Nonlinear equations and optimization. Preprint.). The chapter about non-differentiable problems (17 pages) studies function expressions containing if-then-else connectives obtaining some new results with respect to zero search. The final chapter about intermediate values (8 pages) remains on the very surface of such a topic and contains only introductory examples of how these values can be used to reduce the overestimation.
Keywords for this software
References in zbMATH (referenced in 287 articles , 1 standard article )
Showing results 1 to 20 of 287.
Sorted by year (- Everitt, Richard G.: Efficient importance sampling in low dimensions using affine arithmetic (2018)
- Galántai, A.: Always convergent methods for nonlinear equations of several variables (2018)
- Fendl, Hannes; Neumaier, Arnold; Schichl, Hermann: Certificates of infeasibility via nonsmooth optimization (2017)
- Imbach, Rémi; Moroz, Guillaume; Pouget, Marc: A certified numerical algorithm for the topology of resultant and discriminant curves (2017)
- Martin, Benjamin; Correia, Marco; Cruz, Jorge: A certified branch & bound approach for reliability-based optimization problems (2017)
- Martin, Benjamin; Goldsztejn, Alexandre; Granvilliers, Laurent; Jermann, Christophe: Constraint propagation using dominance in interval branch & bound for nonlinear biobjective optimization (2017)
- Montanher, Tiago; Domes, Ferenc; Schichl, Hermann; Neumaier, Arnold: Using interval unions to solve linear systems of equations with uncertainties (2017)
- Puranik, Yash; Sahinidis, Nikolaos V.: Domain reduction techniques for global NLP and MINLP optimization (2017)
- Schichl, Hermann; Domes, Ferenc; Montanher, Tiago; Kofler, Kevin: Interval unions (2017)
- Hladík, Milan: An extension of the $\alpha\mathrmBB$-type underestimation to linear parametric Hessian matrices (2016)
- Schulze Darup, Moritz; Mönnigmann, Martin: Improved automatic computation of Hessian matrix spectral bounds (2016)
- Baidya, Abhijit; Bera, Uttam Kumar; Maiti, Manoranjan: Interval oriented entropy based multi-item solid transportation problem with budget and breakability (2015)
- Enszer, Joshua A.; Andrei Măceş, D.; Stadtherr, Mark A.: Probability bounds analysis for nonlinear population ecology models (2015)
- Gasilov, N. A.; Amrahov, Ş. E.; Fatullayev, A. G.; Hashimoglu, I. F.: Solution method for a boundary value problem with fuzzy forcing function (2015)
- Hladík, Milan: On the efficient Gerschgorin inclusion usage in the global optimization $\alpha$BB method (2015)
- Kearfott, Ralph Baker: Some observations on exclusion regions in branch and bound algorithms (2015)
- Kubica, Bartłomiej Jacek: Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems (2015)
- Lodwick, Weldon A.; Dubois, Didier: Interval linear systems as a necessary step in fuzzy linear systems (2015)
- Ninin, Jordan; Messine, Frédéric; Hansen, Pierre: A reliable affine relaxation method for global optimization (2015)
- Scott, Joseph K.; Barton, Paul I.: Reachability analysis and deterministic global optimization of DAE models (2015)