Bounded Verification of Sparse Matrix Computations.

Tristan Dyer Alper Altuntas John W. Baugh Jr.

Published in: CORRECTNESS@SC (2019)

Keyphrases

sparse matrix
sparse linear
random projections
rows and columns
multi objective
probability distribution
dimensionality reduction
hough transform
floating point