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