TY - RPRT TI - Computing the exact sign of sums of products with floating point arithmetic AU - Walter F. Mascarenhas PY - 2021 UR - https://arxiv.org/abs/2109.07838 ID - 2109.07838 ER -