Termination of floating-point computations

From MaRDI portal
Publication:850498

DOI10.1007/s10817-005-6546-zzbMath1102.65054OpenAlexW2120056071MaRDI QIDQ850498

Alexander Serebrenik, Danny De Schreye

Publication date: 3 November 2006

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

Full work available at URL: https://doi.org/10.1007/s10817-005-6546-z




Related Items (1)


Uses Software


Cites Work


This page was built for publication: Termination of floating-point computations