Login / Signup
Automating the Verification of Floating-Point Algorithms.
Guillaume Melquiond
Published in:
SMT (2014)
Keyphrases
</>
floating point
learning algorithm
sparse matrices
data structure
fast fourier transform