scientific article; zbMATH DE number 1497756
From MaRDI portal
Publication:4499168
Recommendations
- Measuring the accuracy of ROM reciprocal tables
- Hardware designs for exactly rounded elementary functions
- Unrestricted algorithms for reciprocals and square roots
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor
- scientific article; zbMATH DE number 4011756
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499168)