×

Found 47 Documents (Results 1–47)

100
MathJax

Numerical analysis of partial differential equations using Maple and MATLAB. (English) Zbl 1459.65001

Fundamentals of Algorithms 12. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-530-7/pbk; 978-1-61197-531-4/ebook). ix, 153 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Introduction to interval analysis. (English) Zbl 1168.65002

Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-0-898716-69-6/pbk; 978-0-89871-771-6/ebook). xi, 223 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI Link

Formalizing integration theory with an application to probabilistic algorithms. (English) Zbl 1099.68736

Slind, Konrad (ed.) et al., Theorem proving in higher order logics. 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23017-3/pbk). Lecture Notes in Computer Science 3223, 271-286 (2004).
MSC:  68T15 03B35 28A20 28A25 68N18 68W40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Year of Publication

all top 3

Classification

all top 3

Software