Amanote Research
Register
Sign In
Guaranteed Proofs Using Interval Arithmetic
doi 10.1109/arith.2005.25
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
M. Daumas
G. Melquiond
C. Munoz
Publisher
IEEE
Related search
Resolution of Nonlinear Interval Problems Using Symbolic Interval Arithmetic
Engineering Applications of Artificial Intelligence
Control
Systems Engineering
Electrical
Artificial Intelligence
Electronic Engineering
Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?
Numerical Algorithms
Applied Mathematics
Ultimate Robust Performance Control of Rigid Robot Manipulators Using Interval Arithmetic
Interval Arithmetic With Fixed Rounding Mode
Nonlinear Theory and Its Applications, IEICE
Interval-Type Theorems Concerning Quasi-Arithmetic Means
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
Uncertainty Evaluation in Modelling of Acoustic Phenomena With Uncertain Parameters Using Interval Arithmetic
Acta Physica Polonica A
Astronomy
Physics
Performance of an Occam/Transputer Implementation of Interval Arithmetic
DAIMI Report Series
The Solution of Initial Value Problems Using Interval Arithmetic Formulation and Analysis of an Algorithm.
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
Application of Interval Arithmetic to Production Planning in a Foundry
Archives of Foundry Engineering
Alloys
Industrial
Metals
Manufacturing Engineering
