scientific article; zbMATH DE number 1542842
From MaRDI portal
Publication:4520293
zbMATH Open0961.68005MaRDI QIDQ4520293FDOQ4520293
Authors: Evgenija Popova 
Publication date: 26 February 2001
Full work available at URL: http://www.jucs.org/jucs_1_7/on_a_formally_correct
Title of this publication is not available (Why is that?)
Recommendations
- Handbook of Floating-Point Arithmetic
- Computer arithmetic and validity. Theory, implementation, and applications
- Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
- A precision- and range-independent tool for testing floating-point arithmetic II
- Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system
Cited In (6)
- A constructive criticism of the C/C++ proposal for complex arithmetic
- Floating point and composite arithmetics
- Title not available (Why is that?)
- A precision- and range-independent tool for testing floating-point arithmetric I
- A precision- and range-independent tool for testing floating-point arithmetic II
- Title not available (Why is that?)
Uses Software
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 Q4520293)
