Discover open access scientific publications

Search, annotate, share and cite publications

Publications by M. Daumas

Guaranteed Proofs Using Interval Arithmetic

English

Related publications

Resolution of Nonlinear Interval Problems Using Symbolic Interval Arithmetic

Engineering Applications of Artificial Intelligence

Systems Engineering

Artificial Intelligence

Electronic Engineering

English

Ultimate Robust Performance Control of Rigid Robot Manipulators Using Interval Arithmetic

English

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

Numerical Algorithms

Applied Mathematics

English

Interval Arithmetic With Fixed Rounding Mode

Nonlinear Theory and Its Applications, IEICE

English

Interval-Type Theorems Concerning Quasi-Arithmetic Means

Mathematical Inequalities and Applications

Applied Mathematics

English

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

Acta Physica Polonica A

English

Performance of an Occam/Transputer Implementation of Interval Arithmetic

DAIMI Report Series

English

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

Mathematics of Computation

Computational Mathematics

Applied Mathematics

English

Application of Interval Arithmetic to Production Planning in a Foundry

Archives of Foundry Engineering

Manufacturing Engineering

English