Specifying Real Numbers in CASL.

Markus Roggenbach Lutz Schröder Till Mossakowski

Published in: WADT (1999)

Keyphrases

real numbers
fuzzy numbers
arithmetic operations
interval arithmetic
linear inequalities
constraint solver
computer vision
expert systems