Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Constraint programming / Functions and mappings / Electronic design automation / Logic in computer science / NP-complete problems / Satisfiability modulo theories / Rounding / Limit of a function / Function


Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France
Add to Reading List

Document Date: 2017-09-02 14:08:49


Open Document

File Size: 337,25 KB

Share Result on Facebook