Real Numbers - Foreword.

Jean Marie Chesneaux Christiane Frougny Jean-Michel Muller

Published in: Theor. Comput. Sci. (2002)

Keyphrases

real numbers
special issue
interval arithmetic
fuzzy numbers
arithmetic operations
constraint solver
linear inequalities
quantifier free
artificial intelligence
control algorithm
theorem prover
ordered fuzzy numbers