Expansion and estimation of the range of nonlinear functions

DOI10.1090/S0025-5718-96-00773-9zbMath0853.65049MaRDI QIDQ4718403

Siegfried Michael Rump

Publication date: 3 December 1996

Published in: Mathematics of Computation (Search for Journal in Brave)

zbMATH Keywords

verification algorithmsestimation of the range of nonlinear functionsexpansion of the range of nonlinear functions

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Algorithms for approximation of functions (65D15)

Related Items

Algorithmic differentiation techniques for global optimization in the COCONUT environment, A second-order pruning step for verified global optimization, Computational existence proofs for spherical \(t\)-designs, Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation, Exclusion regions for optimization problems, Verification for existence of solutions of linear complementarity problems, Quasiconvex relaxations based on interval arithmetic, A verified inexact implicit Runge-Kutta method for nonsmooth ODEs, Interval observer design for consistency checks of nonlinear continuous-time systems, Exclusion regions for parameter-dependent systems of equations, A new pruning test for finding all global minimizers of nonsmooth functions, Numerical verification of solutions for variational inequalities of the second kind