Back to Results
First PageMeta Content
Theoretical computer science / Applied mathematics / Data types / Arithmetic / Affine arithmetic / Affine geometry / Floating point / Interval arithmetic / Machine epsilon / Mathematics / Numerical analysis / Computer arithmetic


Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL
Add to Reading List

Document Date: 2013-11-09 10:48:40

Open Document

File Size: 500,66 KB

Share Result on Facebook
UPDATE