Monotonically Computable Real Numbers.

Robert Rettinger Xizhong Zheng Romain Gengler Burchard von Braunmühl

Published in: DMTCS (2001)

Keyphrases

real numbers
fuzzy numbers
interval arithmetic
arithmetic operations
constraint solver
ordered fuzzy numbers
linear inequalities
turing machine
finite sets
decreasing function
real world
decision trees