Back to Results
First PageMeta Content
Mathematics / Mathematical analysis / Analysis / Computer arithmetic / Numerical analysis / Arithmetic / Functions and mappings / Differential calculus / Interval arithmetic / Rounding / Derivative / Integral


Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - UniversitĀ“e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France
Add to Reading List

Document Date: 2012-12-19 06:23:54


Open Document

File Size: 476,41 KB

Share Result on Facebook
UPDATE