From Calculus to Algorithms without Errors

DOI10.1007/978-3-662-44199-2_107zbMath1402.65039OpenAlexW2406122664MaRDI QIDQ2879200

Martin Ziegler, Norbert Th. Müller

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_107

zbMATH Keywords

recursive analysisrigorous numerics

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Error analysis and interval analysis (65Gxx)

Uses Software

• iRRAM

This page was built for publication: From Calculus to Algorithms without Errors