Formalization and implementation of floating-point arithmetics

DOI10.1007/BF02253545zbMath0302.65034OpenAlexW2006220020MaRDI QIDQ1216018

Ulrich Kulisch

Publication date: 1975

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02253545

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Roundoff error (65G50) Algorithms in computer science (68W99)

Cites Work

• Grundlagen einer Maschinenintervallarithmetik
• Interval bounds for square roots and cube roots
• In-and-out conversions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formalization and implementation of floating-point arithmetics