Efficient automated repair of high floating-point errors in numerical libraries.

Xin Yi Liqian Chen Xiaoguang Mao Tao Ji

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

floating point
sparse matrices
fixed point
data processing
digital libraries
high efficiency
interval arithmetic
multi view