Interval analysis and automatic result verification
From MaRDI portal
Publication:350548
DOI10.1515/9783110499469zbMath1373.65036OpenAlexW4247671468MaRDI QIDQ350548
Publication date: 7 December 2016
Published in: De Gruyter Studies in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/9783110499469
Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20)
Related Items (23)
Convergence of interval AOR method for linear interval equations ⋮ The Laurent-Horner method for validated evaluation of Chebyshev expansions ⋮ Computing Galois groups of Fano problems ⋮ Need for techniques intermediate between interval and probabilistic ones ⋮ Beyond p-Boxes and Interval-Valued Moments: Natural Next Approximations to General Imprecise Probabilities ⋮ How to Reconcile Maximum Entropy Approach with Intuition: E.g., Should Interval Uncertainty Be Represented by a Uniform Distribution ⋮ Unnamed Item ⋮ Complexity of computing interval matrix powers for special classes of matrices. ⋮ Computing Enclosures for the Matrix Exponential ⋮ A computer assisted proof of the symmetries of least energy nodal solutions on squares ⋮ A new approach to interval-valued probability measures, a formal method for consolidating the languages of information deficiency: foundations ⋮ Solving interval linear least squares problems by PPS-methods ⋮ A NOTE ON DEFINITIONS OF THE RANK FOR INTERVAL MATRICES ⋮ On preconditioning and solving an extended class of interval parametric linear systems ⋮ Enclosing Chebyshev Expansions in Linear Time ⋮ A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems ⋮ Why use a fuzzy partition in F-transform? ⋮ A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains ⋮ Algebraic solution to interval equilibrium equations of truss structures ⋮ ON THE CHARACTERIZATION OF TASKS MODELED BY INTERVAL DESIGN STRUCTURE MATRIX ON DOMAIN-DRIVEN DESIGN SOFTWARE DEVELOPMENT ⋮ Tolerance-localized and control-localized solutions of interval linear equations system and their application to course assignment problem ⋮ Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty ⋮ Accuracy of Data Fusion: Interval (and Fuzzy) Case
This page was built for publication: Interval analysis and automatic result verification
