Implementing Real Numbers With RZ.

Andrej Bauer Iztok Kavkler

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

real numbers
arithmetic operations
fuzzy numbers
linear inequalities
interval arithmetic
constraint solver
ordered fuzzy numbers
real world
social networks
information systems
efficient implementation