Interval analysis and automatic result verification

DOI10.1515/9783110499469zbMATH Open1373.65036OpenAlexW4247671468MaRDI QIDQ350548FDOQ350548

Authors: Günter Mayer 

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

Recommendations

• Automatic inequality proving based on interval analysis
• scientific article; zbMATH DE number 869745
• A software tool for automatically verified operations on intervals and probability distributions
• scientific article; zbMATH DE number 3281219
• scientific article; zbMATH DE number 804604
• scientific article; zbMATH DE number 953029
• scientific article; zbMATH DE number 563597
• scientific article; zbMATH DE number 176889
• Checking interval properties of computations
• scientific article; zbMATH DE number 3945246

zbMATH Keywords

monographinterval analysisautomatic result verification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20)

Cited In (31)

• Title not available (Why is that?)
• Need for techniques intermediate between interval and probabilistic ones
• Complexity of computing interval matrix powers for special classes of matrices.
• Wormholes, superfast computations, and Selivanov's theorem
• Certifying zeros of polynomial systems using interval arithmetic
• A note on definitions of the rank for interval matrices
• A new approach to interval-valued probability measures, a formal method for consolidating the languages of information deficiency: foundations
• On the characterization of tasks modeled by interval design structure matrix on domain-driven design software development
• Computing enclosures for the matrix exponential
• Solving interval linear least squares problems by PPS-methods
• Universal intervals: towards a dependency-aware interval algebra
• Interval analysis a powerful trend in numerical analysis
• On preconditioning and solving an extended class of interval parametric linear systems
• Title not available (Why is that?)
• How to Reconcile Maximum Entropy Approach with Intuition: E.g., Should Interval Uncertainty Be Represented by a Uniform Distribution
• Beyond \(p\)-boxes and interval-valued moments: natural next approximations to general imprecise probabilities
• Convergence of interval AOR method for linear interval equations
• A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
• Title not available (Why is that?)
• Enclosing Chebyshev expansions in linear time
• The Laurent-Horner method for validated evaluation of Chebyshev expansions
• Interval arithmetic and its implementations
• Why use a fuzzy partition in F-transform?
• Tolerance-localized and control-localized solutions of interval linear equations system and their application to course assignment problem
• Accuracy of data fusion: interval (and fuzzy) case
• A computer assisted proof of the symmetries of least energy nodal solutions on squares
• Algebraic solution to interval equilibrium equations of truss structures
• A software tool for automatically verified operations on intervals and probability distributions
• Weak and strong compatibility in data fitting problems under interval uncertainty
• A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
• Computing Galois groups of Fano problems

This page was built for publication: Interval analysis and automatic result verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q350548)