14 citations · 82 across the 35 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SC2019★ 2 cited
Elimination-based certificates for triangular equivalence and rank profiles
Jean-Guillaume Dumas, Erich Kaltofen, David Lucas +1
In this paper, we give novel certificates for triangular equivalence and rank profiles. These certificates enable somebody to verify the row or column rank profiles or the whole ra…
cs.SC2019
LU factorization with errors *
Jean-Guillaume Dumas, Joris Van Der Hoeven, Clément Pernet +1
We present new algorithms to detect and correct errors in the lower-upper factorization of a matrix, or the triangular linear system solution, over an arbitrary field. Our main alg…