Login / Signup

Computer Interval Arithmetic: Definition and Proof of Correct Implementation.

Donald I. GoodRalph L. London
Published in: J. ACM (1970)
Keyphrases
  • interval arithmetic
  • constraint propagation
  • provably correct
  • neural network
  • sufficient conditions
  • parallel computers
  • finite sets