×

Found 10 Documents (Results 1–10)

Verified computation with probabilities. (English) Zbl 1253.68064

Dienstfrey, Andrew M. (ed.) et al., Uncertainty quantification in scientific computing. 10th IFIP WG 2.5 working conference, WoCoUQ 2011, Boulder, CO, USA, August 1–4, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32676-9/hbk; 978-3-642-32677-6/ebook). IFIP Advances in Information and Communication Technology 377, 95-122 (2012).
MSC:  68M15 65G30 65C60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

Software