A Tour with Constructive Real Numbers.
Alberto CiaffaglionePietro Di GianantonioPublished in: TYPES (2000)
Keyphrases
- real numbers
- traveling salesman problem
- interval arithmetic
- traveling salesman
- linear inequalities
- constraint solver
- arithmetic operations
- fuzzy numbers
- ordered fuzzy numbers
- decision making
- artificial intelligence
- real time
- linear constraints
- data model
- evolutionary algorithm
- pattern recognition
- search algorithm
- quantifier free
- real world