Login / Signup

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic.

Nathalie Revol
Published in: NSV@CAV (2017)
Keyphrases
  • interval arithmetic
  • constraint propagation
  • real numbers
  • provably correct
  • search algorithm
  • linear programming