A software tool for automatically verified operations on intervals and probability distributions

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

zbMATH Keywords

interval arithmeticprobability distributions

Mathematics Subject Classification ID

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