Automatic Verification of Right-Greedy Numerical Linear Algebra Algorithms.

Carl Kwan, Warren A. Hunt Jr.

Browse the full FMCAD paper archive.