Interval Slopes for Rational Functions and Associated Centered Forms
From MaRDI portal
Publication:3690079
DOI10.1137/0722037zbMath0572.65007OpenAlexW1976316721MaRDI QIDQ3690079
No author found.
Publication date: 1985
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0722037
Interval and finite arithmetic (65G30) Numerical computation of solutions to single equations (65H05) Algorithms for approximation of functions (65D15)
Related Items
Existence of solutions of piecewise differentiable systems of equations, Algorithmic differentiation techniques for global optimization in the COCONUT environment, Global, rigorous and realistic bounds for the solution of dissipative differential equations. I: Theory, A second-order pruning step for verified global optimization, Globale Optimierung nichtdifferenzierbarer Funktionen unter Einsatz von Intervallsteigungen, Computing slope enclosures by exploiting a unique point of inflection, Optimal centered forms, The Krawczyk operator and Kantorovich's theorem, Solving minimax problems by interval methods, Feasible Method for Semi-Infinite Programs, Asynchronous parallel methods for enclosing solutions of nonlinear equations, Solving interval constraints by linearization in computer-aided design, Linear systems with large uncertainties, with applications to truss structures, Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems, Applications of interval arithmetic in non-smooth global optimization, On interval enclosures using slope arithmetic, Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems, Exclusion regions for optimization problems, Quasiconvex relaxations based on interval arithmetic, Unnamed Item, A verified inexact implicit Runge-Kutta method for nonsmooth ODEs, Slope tests for Newton-type methods, On the complexity of isolating real roots and computing with certainty the topological degree, Rigorous verification of feasibility, Interval observer design for consistency checks of nonlinear continuous-time systems, Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations, Nonlinear equations and optimization, Slope enclosures for functions given by two or more branches, Exclusion regions for parameter-dependent systems of equations, Rigorous sensitivity analysis for parameter-dependent systems of equations, Optimal centers in branch-and-prune algorithms for univariate global optimization, A Lipschitz operator for function strips, Outer interval solution of the eigenvalue problem under general form parametric dependencies, Low complexity k-dimensional centered forms
