Verified Computation with Probabilities (Q3144131)

From MaRDI portal
Revision as of 07:21, 4 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Verified Computation with Probabilities
scientific article

    Statements

    title
    Verified Computation with Probabilities (English)
    0 references
    author
    Scott A. Ferson
    0 references
    Jack Siegrist
    0 references
    publication date
    7 December 2012
    0 references
    zbMATH Keywords
    probability bounds anallysis
    0 references
    probability box
    0 references
    p-box
    0 references
    verfied computation
    0 references
    imprecise probabilities
    0 references
    interval analysis
    0 references
    probabilistic arithmetic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68M15
    0 references
    65G30
    0 references
    65C60
    0 references
    zbMATH DE Number
    6113657
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3144131&oldid=16434518"
    Powered by MediaWiki