A software tool for automatically verified operations on intervals and probability distributions
type: Item
instance of: scholarly article
title: A software tool for automatically verified operations on intervals and probability distributions
zbMATH Open document ID: 0895.65018
DOI: 10.1023/A:1009954817673
author: Hang Cheng
author: Daniel J. Berleant
published in: Reliable Computing
publication date: 1998-09-02T00:00:00Z
review text: A software tool for validated arithmetic operations on intervals and probability distribution functions are described. The paper is closely related to a previous paper by the first author [Interval Comput. 1993, No. 2, 48-70 (1993; Zbl 0829.65141)].
Mathematics Subject Classification ID: 65G30
Mathematics Subject Classification ID: 65C99
Mathematics Subject Classification ID: 62E17
zbMATH DE Number: 1145827
zbMATH Keywords: interval arithmetic
zbMATH Keywords: probability distributions
reviewed by: Svetoslav Markov
MaRDI profile type: Publication
full work available at URL: a:1009954817673
OpenAlex ID: W28580676
Recommended article: Q4874521
Recommended article: Q4851603
Recommended article: Interval analysis and automatic result verification
Recommended article: A Verified Compiler for Probability Density Functions
Recommended article: Q4011815
Recommended article: Discrete stochastic arithmetic for validating results of numerical software
Recommended article: Q3110281
description: scientific article; zbMATH DE number 1145827