Expansion and estimation of the range of nonlinear functions

DOI10.1090/S0025-5718-96-00773-9MaRDI QIDQ4718403zbMATH OpenFDO

Authors Siegfried M. 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

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

Recommendations

• scientific article; zbMATH DE number 3960879
• Interval Taylor forms
• scientific article; zbMATH DE number 4088841
• Computing slope enclosures by exploiting a unique point of inflection
• scientific article; zbMATH DE number 4197279

Cited in

(12)

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

This page was built for publication: Expansion and estimation of the range of nonlinear functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4718403)