Reliable Computing

Probability-Possibility Transformations, Triangular Fuzzy Sets, and Probabilistic Inequalities

Didier Dubois, Laurent Foulloy, Gilles Mauris et al. · 2004 · 545 citations

Natural Sciences, Mathematics, Probability Theory +13

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

Martin Berz, Kyoko Makino · 1998 · 305 citations

Natural Sciences, Computational Engineering, Mathematics +15

A New Technique in Systems Analysis Under Interval Uncertainty and Ambiguity

Sergey P. Shary · 2002 · 191 citations

Computing, Mathematics, Systems Engineering +15

Computation and Application of Taylor Polynomials with Interval Remainder Bounds

Martin Berz, G. H. Hoffstätter · 1998 · 166 citations

Computing, Computer Science, Algorithms +6

Taylor Forms—Use and Limits

Arnold Neumaier · 2003 · 144 citations

Natural Sciences, Mathematics, Derivatives +8