Guaranteed Proofs Using Interval Arithmetic

doi 10.1109/arith.2005.25
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE

Related search

Resolution of Nonlinear Interval Problems Using Symbolic Interval Arithmetic

Engineering Applications of Artificial Intelligence
ControlSystems EngineeringElectricalArtificial IntelligenceElectronic Engineering
2010English

Ultimate Robust Performance Control of Rigid Robot Manipulators Using Interval Arithmetic

2016English

Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?

Numerical Algorithms
Applied Mathematics
2004English

Interval Arithmetic With Fixed Rounding Mode

Nonlinear Theory and Its Applications, IEICE
2016English

Interval-Type Theorems Concerning Quasi-Arithmetic Means

Mathematical Inequalities and Applications
MathematicsApplied Mathematics
2019English

Uncertainty Evaluation in Modelling of Acoustic Phenomena With Uncertain Parameters Using Interval Arithmetic

Acta Physica Polonica A
AstronomyPhysics
2012English

Performance of an Occam/Transputer Implementation of Interval Arithmetic

DAIMI Report Series
1993English

The Solution of Initial Value Problems Using Interval Arithmetic Formulation and Analysis of an Algorithm.

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1984English

Application of Interval Arithmetic to Production Planning in a Foundry

Archives of Foundry Engineering
AlloysIndustrialMetalsManufacturing Engineering
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy