Pages that link to "Item:Q3690079"
From MaRDI portal
The following pages link to Interval Slopes for Rational Functions and Associated Centered Forms (Q3690079):
Displaying 36 items.
- On the complexity of isolating real roots and computing with certainty the topological degree (Q700184) (← links)
- Centered forms and interval operators (Q760761) (← links)
- Outer interval solution of the eigenvalue problem under general form parametric dependencies (Q811944) (← links)
- A second-order pruning step for verified global optimization (Q839324) (← links)
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- Linear systems with large uncertainties, with applications to truss structures (Q868690) (← links)
- On interval enclosures using slope arithmetic (Q920581) (← links)
- Interval observer design for consistency checks of nonlinear continuous-time systems (Q987611) (← links)
- Slope enclosures for functions given by two or more branches (Q1014884) (← links)
- A Lipschitz operator for function strips (Q1062415) (← links)
- Low complexity k-dimensional centered forms (Q1075021) (← links)
- Existence of solutions of piecewise differentiable systems of equations (Q1076482) (← links)
- Optimal centered forms (Q1100850) (← links)
- Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems (Q1180347) (← links)
- Slope tests for Newton-type methods (Q1207820) (← links)
- Rigorous sensitivity analysis for parameter-dependent systems of equations (Q1263939) (← links)
- Global, rigorous and realistic bounds for the solution of dissipative differential equations. I: Theory (Q1332684) (← links)
- Applications of interval arithmetic in non-smooth global optimization (Q1405071) (← links)
- Nonlinear equations and optimization (Q1802504) (← links)
- Asynchronous parallel methods for enclosing solutions of nonlinear equations (Q1900751) (← links)
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems (Q1919127) (← links)
- Rigorous verification of feasibility (Q2018466) (← links)
- Exclusion regions for parameter-dependent systems of equations (Q2052383) (← links)
- Exclusion regions for optimization problems (Q2250096) (← links)
- A family of centered forms for rational functions (Q2365943) (← links)
- Computing slope enclosures by exploiting a unique point of inflection (Q2378918) (← links)
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs (Q2483052) (← links)
- Optimal centers in branch-and-prune algorithms for univariate global optimization (Q2572338) (← links)
- The Krawczyk operator and Kantorovich's theorem (Q2638725) (← links)
- Solving minimax problems by interval methods (Q2639605) (← links)
- Algorithmic differentiation techniques for global optimization in the COCONUT environment (Q2885482) (← links)
- (Q3127539) (← links)
- Feasible Method for Semi-Infinite Programs (Q3461986) (← links)
- Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations (Q3479458) (← links)
- Globale Optimierung nichtdifferenzierbarer Funktionen unter Einsatz von Intervallsteigungen (Q4268696) (← links)
- Quasiconvex relaxations based on interval arithmetic (Q5929744) (← links)