Login / Signup
Formalization of Double-Word Arithmetic, and Comments on "Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic".
Jean-Michel Muller
Laurence Rideau
Published in:
ACM Trans. Math. Softw. (2022)
Keyphrases
</>
building blocks
error bounds
co occurrence
worst case
n gram
upper bound
theoretical analysis
back end
information retrieval
word recognition
word sense disambiguation
arithmetic operations
linguistic information
floating point
knowledge representation
np hard
lower bound
search engine