×

Found 12 Documents (Results 1–12)

Combining interval and probabilistic uncertainty: what is computable? (English) Zbl 1355.65190

Pardalos, Panos M. (ed.) et al., Advances in stochastic and deterministic global optimization. Cham: Springer (ISBN 978-3-319-29973-0/hbk; 978-3-319-29975-4/ebook). Springer Optimization and Its Applications 107, 13-32 (2016).
MSC:  65Y05 68T37 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Computer certified efficient exact reals in Coq. (English) Zbl 1260.68377

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 90-106 (2011).
MSC:  68T15 65G99
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software