Login / Signup
Certification of bounds on expressions involving rounded operators.
Marc Daumas
Guillaume Melquiond
Published in:
ACM Trans. Math. Softw. (2010)
Keyphrases
</>
facial expressions
upper bound
worst case
lower bound
upper and lower bounds
third party
morphological operators
mathematical expressions
tight bounds
generalization bounds
data sets
floating point
error bounds
data dependent
database management
natural language
case study
search engine