The abstract type of the real numbers.

Fernando Ferreira

Published in: Arch. Math. Log. (2021)

Keyphrases

real numbers
arithmetic operations
high level
fuzzy numbers
linear inequalities
quantifier free
machine learning
image processing
database systems
programming language
fuzzy sets
manufacturing systems
constraint solver
interval arithmetic