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

DOI10.1023/A:1009954817673zbMath0895.65018MaRDI QIDQ1383757

Daniel J. Berleant, Hang Cheng

Publication date: 2 September 1998

Published in: Reliable Computing (Search for Journal in Brave)

zbMATH Keywords

interval arithmetic; probability distributions

Mathematics Subject Classification ID

65G30: Interval and finite arithmetic

62E17: Approximations to statistical distributions (nonasymptotic)

65C99: Probabilistic methods, stochastic differential equations

Related Items

A search algorithm for calculating validated reliability bounds