Login / Signup

Experience with a high level language that supports interval arithmetic.

Ronald MorrisonA. J. ColePeter J. BaileyMichael A. WolfeJ. M. Shearer
Published in: IEEE Symposium on Computer Arithmetic (1983)
Keyphrases
  • interval arithmetic
  • constraint propagation
  • real numbers
  • floating point
  • constraint satisfaction
  • general purpose
  • implicit surfaces
  • finite sets
  • provably correct