-monotonically computable real numbers.

Xizhong Zheng Robert Rettinger George Barmpalias

Published in: Math. Log. Q. (2005)

Keyphrases

real numbers
arithmetic operations
fuzzy numbers
interval arithmetic
ordered fuzzy numbers
linear inequalities
constraint solver
turing machine
quantifier free
decreasing function
genetic programming
expert systems
case study
image processing
finite sets
knowledge base
data mining