Affine arithmetic: concepts and applications
From MaRDI portal
Publication:2387756
DOI10.1023/B:NUMA.0000049462.70970.B6zbMath1074.65050DBLPjournals/na/FigueiredoS04OpenAlexW2131798279WikidataQ29305337 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 (47)
EAGO.jl: easy advanced global optimization in Julia ⋮ Computing enclosures for the matrix Mittag-Leffler function ⋮ Unnamed Item ⋮ 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
This page was built for publication: Affine arithmetic: concepts and applications
