-computable real numbers.

Dimiter Skordev Andreas Weiermann Ivan Georgiev

Published in: J. Log. Comput. (2012)

Keyphrases

real numbers
fuzzy numbers
arithmetic operations
interval arithmetic
linear inequalities
finite sets
image processing
constraint solver
ordered fuzzy numbers
machine learning
expert systems
computational intelligence
constraint satisfaction
turing machine