Login / Signup

On Approximate and Algebraic Computability over the Real Numbers.

Armin Hemmerling
Published in: Theor. Comput. Sci. (1999)
Keyphrases
  • real numbers
  • interval arithmetic
  • arithmetic operations
  • linear inequalities
  • fuzzy numbers
  • ordered fuzzy numbers
  • piecewise linear
  • quantifier free
  • data sets
  • databases
  • constraint satisfaction
  • constraint solver