Optimization Modulo the Theory of Floating-Point Numbers.

Patrick Trentin Roberto Sebastiani

Published in: CADE (2019)

Keyphrases

floating point
square root
fixed point
sparse matrices
instruction set
optimization process
linear algebra