Self-Validation Methods in Statistical Computing

这项研究致力于发展用于计算选定的连续单变量和多变量概率分布中的概率的自验证算法。由于很难评估标准方法在大规模计算中获得的结果的准确性，因此需要自我验证的数值方法。为此，区间分析将用于开发这些算法以及IBM兼容微型计算机中的舍入区间算法。

This research is concerned with the development of self-validating algorithms for computing probabilities in selected continuous univariate and multivariate probability distributions. Self-validating numerical methods are needed because of the difficulty in assessing the accuracy of results obtained in large-scale computing from standard methods. Toward this end, interval analysis will be used in the development of these algorithms as well as rounded interval arithmetic in an IBM compatible microcomputer.