Login / Signup

On coalgebra of real numbers.

Dusko PavlovicVaughan R. Pratt
Published in: CMCS (1999)
Keyphrases
  • real numbers
  • interval arithmetic
  • fuzzy numbers
  • linear inequalities
  • arithmetic operations
  • constraint solver
  • quantifier free
  • ordered fuzzy numbers
  • real time
  • evolutionary algorithm