Interval analysis and automatic result verification
From MaRDI portal
(Redirected from Publication:350548)
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
Cited in
(31)- The Laurent-Horner method for validated evaluation of Chebyshev expansions
- A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
- Why use a fuzzy partition in F-transform?
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- On preconditioning and solving an extended class of interval parametric linear systems
- scientific article; zbMATH DE number 3915513 (Why is no real title available?)
- On the characterization of tasks modeled by interval design structure matrix on domain-driven design software development
- Accuracy of data fusion: interval (and fuzzy) case
- Interval arithmetic and its implementations
- How to Reconcile Maximum Entropy Approach with Intuition: E.g., Should Interval Uncertainty Be Represented by a Uniform Distribution
- Non-traditional intervals and their use. Which ones really make sense?
- Tolerance-localized and control-localized solutions of interval linear equations system and their application to course assignment problem
- A software tool for automatically verified operations on intervals and probability distributions
- Computing enclosures for the matrix exponential
- Solving interval linear least squares problems by PPS-methods
- Computing Galois groups of Fano problems
- Beyond \(p\)-boxes and interval-valued moments: natural next approximations to general imprecise probabilities
- Interval analysis a powerful trend in numerical analysis
- Weak and strong compatibility in data fitting problems under interval uncertainty
- Need for techniques intermediate between interval and probabilistic ones
- Universal intervals: towards a dependency-aware interval algebra
- A note on definitions of the rank for interval matrices
- A computer assisted proof of the symmetries of least energy nodal solutions on squares
- Convergence of interval AOR method for linear interval equations
- Enclosing Chebyshev expansions in linear time
- Algebraic solution to interval equilibrium equations of truss structures
- 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 numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
- A new approach to interval-valued probability measures, a formal method for consolidating the languages of information deficiency: foundations
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)
