Pages that link to "Item:Q2387756"

The following pages link to Affine arithmetic: concepts and applications (Q2387756):

Displaying 26 items.

• Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
• A reliable affine relaxation method for global optimization (Q496103) (← links)
• Some feasibility sampling procedures in interval methods for constrained global optimization (Q506473) (← links)
• Rigorous bounds for polynomial Julia sets (Q523958) (← links)
• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
• Computing enclosures for the matrix Mittag-Leffler function (Q831239) (← links)
• A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
• Arbitrarily tight \(\alpha \mathrm{BB}\) underestimators of general non-linear functions over sub-optimal domains (Q1668799) (← links)
• Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
• Is an interval the right result of arithmetic operations on intervals? (Q1676203) (← links)
• A new method for computing a \(p\)-solution to parametric interval linear systems with affine-linear and nonlinear dependencies (Q1689318) (← links)
• A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms (Q1689460) (← links)
• Efficient importance sampling in low dimensions using affine arithmetic (Q1695502) (← links)
• Rigorous cubical approximation and persistent homology of continuous functions (Q1732427) (← links)
• About tracing problems in dynamic geometry (Q1943666) (← links)
• The small octagons of maximal width (Q1953053) (← links)
• TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties (Q1993019) (← links)
• Shadowed numbers and their standard and multidimensional arithmetic (Q1999030) (← links)
• Tighter McCormick relaxations through subgradient propagation (Q2010084) (← links)
• A decomposition approach to type 2 interval arithmetic (Q2019716) (← links)
• On new methods to construct lower bounds in simplicial branch and bound based on interval arithmetic (Q2046307) (← links)
• Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000) (← links)
• A novel univariate dimension‐reduction based interval finite element method for static response prediction of uncertain structures (Q6060921) (← links)
• Interval uncertain optimization for interior ballistics based on Chebyshev surrogate model and affine arithmetic (Q6094370) (← links)
• Towards an automatic uncertainty compiler (Q6178702) (← links)