Automatic Verification of Floating-Point Accumulation Networks

MaRDI QIDQ7178640arXivFDO

Authors David Kai Zhang, Alex Aiken

Publication date 2025

Published in arXiv

arXiv classification

math.NA

Cited in

(1)

• A Branch-Free General Renormalization Scheme for Pair Arithmetic and Its Performance Evaluation

This page was built for publication: Automatic Verification of Floating-Point Accumulation Networks

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