Sign in

Computable Real Numbers and Why They Are Still Important Today.

Edmund M. Clarke
Published in: ACM-TURING (2012)
Keyphrases
  • real numbers
  • interval arithmetic
  • fuzzy numbers
  • linear inequalities
  • constraint solver
  • arithmetic operations
  • ordered fuzzy numbers
  • artificial intelligence
  • computer vision
  • world wide
  • social networks