Pages that link to "Item:Q2387756"

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

Displaying 49 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)
• On tightness and anchoring of McCormick and other relaxations (Q2274852) (← links)
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
• Algorithm for min-range multiplication of affine forms (Q2391826) (← links)
• Constrained global optimization for wine blending (Q2398517) (← links)
• Optimal multiplication of \(G\)-intervals (Q2460290) (← links)
• Using zonotopes for overestimation-free interval least-squares -- some geodetic applications (Q2484035) (← links)
• A general reliable quadratic form: An extension of affine arithmetic (Q2494411) (← links)
• Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance (Q2633228) (← links)
• Improved convex and concave relaxations of composite bilinear forms (Q2697000) (← links)
• A Verified Enclosure for the Lorenz Attractor (Rough Diamond) (Q2945634) (← links)
• Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)
• A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS (Q3386558) (← links)
• First steps towards more numerical reproducibility (Q3465860) (← links)
• SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems (Q3564542) (← links)
• Mathematically rigorous global optimization in floating-point arithmetic (Q4685569) (← links)
• (Q4941400) (← links)
• EAGO.jl: easy advanced global optimization in Julia (Q5038425) (← links)
• Comparing System Reliabilities with Ill-Known Probabilities (Q5117239) (← links)
• Robustness and Randomness (Q5302770) (← links)
• A zonotopic framework for functional abstractions (Q5962973) (← 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)
• Formally verified roundoff errors using SMT-based certificates and subdivisions (Q6535941) (← links)
• Robustness verification of support vector machines (Q6536292) (← links)
• Bridge damage identification using rotation influence line under random vehicle loads (Q6538392) (← links)