From Calculus to Algorithms without Errors

DOI10.1007/978-3-662-44199-2_107MaRDI QIDQ2879200zbMATH OpenOpenAlexFDO

Authors 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

rigorous numericsrecursive analysis

Mathematics Subject Classification ID

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

Recommendations

• Towards a calculus of algorithms
• Algorithms. From Hammurapi to Gödel
• scientific article; zbMATH DE number 767922
• scientific article; zbMATH DE number 2203607
• Algorithms: From Al-Khwarizmi to Turing and Beyond
• scientific article; zbMATH DE number 107985

Cited in

(2)

• scientific article; zbMATH DE number 1979264 (Why is no real title available?)
• Terme, Gleichungen, Ungleichungen

Describes a project that uses

Uses Software

• iRRAM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879200)