scientific article

zbMath0974.68535MaRDI QIDQ2754046

No author found.

Publication date: 18 December 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Roundoff error (65G50) Numerical algorithms for specific classes of architectures (65Y10)

Related Items

Applications of real number theorem proving in PVS, Proof assistants: history, ideas and future, Formalization of fixed-point arithmetic in HOL

Uses Software

• HOL Light