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

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Computer arithmetic
• Numerical analysis
• Arithmetic
• Functions and mappings
• Differential calculus
• Interval arithmetic
• Rounding
• Derivative
• Integral

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

Source URL: perso.ens-lyon.fr

• Numerical analysis
• Mathematics
• Applied mathematics
• Iterative refinement
• Iterative method
• Interval arithmetic
• Newton's method
• Condition number
• Residual
• Root-finding algorithm
• Affine arithmetic

Introduction to the IEEEStandard for Interval Arithmetic

Source URL: www.cs.ox.ac.uk

• Computer arithmetic
• Mathematics
• Numerical analysis
• Arithmetic
• Interval arithmetic
• Interval

Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France

Source URL: smt2014.it.uu.se

• Mathematics
• Computer arithmetic
• Real number
• Floating-point arithmetic
• Arbitrary-precision arithmetic
• Algorithm
• Interval
• Complex number

1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

Source URL: jorgenavas.github.io

• Mathematics
• Computer arithmetic
• Algebra
• Abstract algebra
• Abstract interpretation
• Interval arithmetic
• Two's complement
• Interval
• Signedness
• Logarithm
• Modular arithmetic
• Division by zero

A BOOTSTRAP INTERVAL ESTIMATOR FOR BAYES’ CLASSIFICATION ERROR Chad M. Hawes and Carey E. Priebe Johns Hopkins University Department of Applied Mathematics and Statistics Baltimore, MDABSTRACT

Source URL: www.ams.jhu.edu

Classroom Voting Questions: Calculus II Section 5.3 The Fundamental Theorem and Interpretations 1. On what interval is the average value of sin x the smallest? (a) 0 ≤ x ≤ (b)

Source URL: mathquest.carroll.edu

Interval Consensus for Multiagent Networks∗ Angela Fontan†, Guodong Shi‡, Xiaoming Hu§, and Claudio Altafini¶ Abstract arXiv:1802.01054v1 [cs.SY] 4 Feb 2018

Source URL: arxiv.org

Patient Name/Date of Birth: ___________________________________ Well Baby Check: 4 month visit questionnaire Interval History: Has your baby had any major illnesses, ER or Urgent Care trips since your last appointment i

Source URL: www.baysidemedical.com

J. Glob. Optim. manuscript No. (will be inserted by the editor) Tuning interval Branch-and-Prune for protein structure determination Bradley Worley · Florent Delhommel ·

Source URL: www.lix.polytechnique.fr