<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-07-18 04:25:02Mathematics Computer arithmetic Real number Floating-point arithmetic Arbitrary-precision arithmetic Algorithm Interval Complex number |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2014-07-18 04:25:02Mathematics Computer arithmetic Real number Floating-point arithmetic Arbitrary-precision arithmetic Algorithm Interval Complex number |
Add to Reading List |
Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France