Expansion and estimation of the range of nonlinear functions

DOI10.1090/S0025-5718-96-00773-9zbMATH Open0853.65049MaRDI QIDQ4718403FDOQ4718403

Authors: Siegfried M. Rump 

Publication date: 3 December 1996

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

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

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)

Cited In (12)

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

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)