Affine arithmetic: concepts and applications
From MaRDI portal
Publication:2387756
DOI10.1023/B:NUMA.0000049462.70970.b6zbMath1074.65050OpenAlexW2131798279WikidataQ29305337 ScholiaQ29305337MaRDI QIDQ2387756
Jorge Stolfi, Luiz Henrique de Figueiredo
Publication date: 5 September 2005
Published in: Numerical Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:numa.0000049462.70970.b6
numerical examplesinterval arithmeticaffine arithmeticdependency problemrange analysisself-validated numerical computation
Interval and finite arithmetic (65G30) Computer-aided design (modeling of curves and surfaces) (65D17) Algorithms with automatic result verification (65G20)
Related Items
EAGO.jl: easy advanced global optimization in Julia, Computing enclosures for the matrix Mittag-Leffler function, Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance, Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects, Robustness and Randomness, First steps towards more numerical reproducibility, Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?, Algorithm for min-range multiplication of affine forms, Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering, Constrained global optimization for wine blending, A verified ODE solver and the Lorenz attractor, Arbitrarily tight \(\alpha \mathrm{BB}\) underestimators of general non-linear functions over sub-optimal domains, Chebyshev model arithmetic for factorable functions, Is an interval the right result of arithmetic operations on intervals?, A Verified Enclosure for the Lorenz Attractor (Rough Diamond), Affine Arithmetic and Applications to Real-Number Proving, A novel univariate dimension‐reduction based interval finite element method for static response prediction of uncertain structures, A new method for computing a \(p\)-solution to parametric interval linear systems with affine-linear and nonlinear dependencies, A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms, Interval uncertain optimization for interior ballistics based on Chebyshev surrogate model and affine arithmetic, Efficient importance sampling in low dimensions using affine arithmetic, About tracing problems in dynamic geometry, Towards an automatic uncertainty compiler, Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes, Comparing System Reliabilities with Ill-Known Probabilities, Improved convex and concave relaxations of composite bilinear forms, The small octagons of maximal width, Rigorous cubical approximation and persistent homology of continuous functions, Optimal multiplication of \(G\)-intervals, A reliable affine relaxation method for global optimization, Some feasibility sampling procedures in interval methods for constrained global optimization, SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems, TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties, Rigorous bounds for polynomial Julia sets, Shadowed numbers and their standard and multidimensional arithmetic, Using zonotopes for overestimation-free interval least-squares -- some geodetic applications, Tighter McCormick relaxations through subgradient propagation, A general reliable quadratic form: An extension of affine arithmetic, A decomposition approach to type 2 interval arithmetic, On tightness and anchoring of McCormick and other relaxations, Mathematically rigorous global optimization in floating-point arithmetic, A zonotopic framework for functional abstractions, On new methods to construct lower bounds in simplicial branch and bound based on interval arithmetic, A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS, Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers, Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
