Login / Signup

Polynomial function intervals for floating-point software verification.

Jan DuraczMichal Konecný
Published in: Ann. Math. Artif. Intell. (2014)
Keyphrases
  • floating point
  • fixed point
  • square root
  • instruction set
  • sparse matrices
  • interval arithmetic
  • graphical models
  • signal processing
  • data management
  • real numbers
  • floating point arithmetic