Finding normal binary floating-point factors efficiently

DOI10.1007/s10817-023-09659-1arXiv2106.05631OpenAlexW4319315398MaRDI QIDQ6156639

Mak Andrlon

Publication date: 14 June 2023

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.05631

zbMATH Keywords

decision proceduresinterval multiplicationfloating-point equation solving

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Floating-point arithmetic in the Coq system
• Formal verification of the VAMP floating point unit
• Optimal inverse projection of floating-point addition
• A parameterized floating-point formalizaton in HOL Light
• Exploiting Binary Floating-Point Representations for Constraint Propagation
• Handbook of Floating-Point Arithmetic
• Accurate Floating-Point Summation Part I: Faithful Rounding
• Formal Methods for Hardware Verification

This page was built for publication: Finding normal binary floating-point factors efficiently