Abstract Datatypes for Real Numbers in Type Theory.
Martín Hötzel EscardóAlex SimpsonPublished in: RTA-TLCA (2014)
Keyphrases
- real numbers
- data types
- quantifier free
- abstract data types
- database management systems
- high level
- linear inequalities
- data structure
- data model
- higher level
- fuzzy numbers
- theoretical framework
- interval arithmetic
- control method
- real time
- computational intelligence
- constraint solver
- database systems
- image processing
- genetic algorithm