×

Found 151 Documents (Results 1–100)

Computer-assisted bifurcation diagram validation and applications in materials science. (English) Zbl 1406.35040

van den Berg, Jan Bouwe (ed.) et al., Rigorous numerics in dynamics. AMS short course, Seattle, WA, USA, January 4–5, 2016. Lecture notes. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2814-3/hbk; 978-1-4704-4729-8/ebook). Proceedings of Symposia in Applied Mathematics 74, 123-174 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Handbook of floating-point arithmetic. 2nd edition. (English) Zbl 1394.65001

Cham: Birkhäuser (ISBN 978-3-319-76525-9/hbk; 978-3-319-76526-6/ebook). xxv, 627 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

On the interpolation constants over triangular elements. (English) Zbl 1363.65014

Brandts, J. (ed.) et al., Proceedings of the international conference ‘Applications of mathematics’, Prague, Czech Republic, November 18–21, 2015. In honor of the birthday anniversaries of Ivo Babuška (90), Milan Práger (85), and Emil Vitásek (85). Prague: Czech Academy of Sciences, Institute of Mathematics (ISBN 978-80-85823-65-3). 110-124 (2015).
PDFBibTeX XMLCite
Full Text: Link

A parameterized floating-point formalizaton in HOL Light. (English) Zbl 1352.65667

Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 101-107 (2015).
MSC:  65Y04 65G50 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software