Turing's Computable Real Numbers and Why They Are Still Important Today.

Edmund M. Clarke

Published in: SAT (2013)

Keyphrases

real numbers
turing machine
fuzzy numbers
interval arithmetic
arithmetic operations
constraint solver
ordered fuzzy numbers
database
pattern recognition
machine intelligence
image processing
genetic programming
world wide
linear inequalities
finite sets