Verified stochastic methods
type: Item
instance of: scholarly article
title: Verified stochastic methods
zbMATH Open document ID: 1327.65020
author: Gabor Rebner
author: Ekaterina Auer
author: Matthias Stein
author: Michael A. Beer
published in: Soft Computing
publication date: 2015-11-09T00:00:00Z
Mathematics Subject Classification ID: 65C40
Mathematics Subject Classification ID: 60J22
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 65G30
zbMATH DE Number: 6506084
zbMATH Keywords: interval arithmetic
zbMATH Keywords: imprecise probability
zbMATH Keywords: Markov set-chains
zbMATH Keywords: uncertainties
zbMATH Keywords: Dempster-Shafer with Intervals toolbox
zbMATH Keywords: verified algorithm
zbMATH Keywords: statistical estimate
zbMATH Keywords: fuzzy set
describes a project that uses: INTLAB
describes a project that uses: Matlab
describes a project that uses: DSI Toolbox
MaRDI profile type: Publication
full work available at URL: s00500-013-1009-7
OpenAlex ID: W8639604
cites work: Multiset theory
cites work: Interval-valued finite Markov chains
cites work: Imprecise Markov chains with absorption
cites work: Markov set-chains
cites work: Towards combining probabilistic and interval uncertainty in engineering calculations: algorithms for computing statistics under interval uncertainty, and their computational complexity
cites work: Q5312889
cites work: A verified realization of a Dempster-Shafer based fault tree analysis
cites work: Q4949347
cites work: Q3416167
DOI: 10.1007/S00500-013-1009-7
description: scientific article; zbMATH DE number 6506084