A software tool for automatically verified operations on intervals and probability distributions
From MaRDI portal
Publication:1383757
DOI10.1023/A:1009954817673zbMath0895.65018OpenAlexW28580676MaRDI QIDQ1383757
Hang Cheng, Daniel J. Berleant
Publication date: 2 September 1998
Published in: Reliable Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1009954817673
Interval and finite arithmetic (65G30) Approximations to statistical distributions (nonasymptotic) (62E17) Probabilistic methods, stochastic differential equations (65C99)
Related Items (3)
A search algorithm for calculating validated reliability bounds ⋮ Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions ⋮ Potential based clouds in robust design optimization
This page was built for publication: A software tool for automatically verified operations on intervals and probability distributions