scientific article
From MaRDI portal
Publication:2754053
zbMath0974.68519MaRDI QIDQ2754053
Roope Kaivola, Mark D. Aagaard
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Efficient and accurate computation of upper bounds of approximation errors, Deciding floating-point logic with abstract conflict driven clause learning, Formal verification of the VAMP floating point unit, Formalization of fixed-point arithmetic in HOL