25 citations · 210 across the 59 of their papers we have counts for
Showing 2015 · cs.SCShow all
2 papers · 2 filters
cs.SC2015★ 1 cited
Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé
Certificates to a linear algebra computation are additional data structures for each output, which can be used by a-possibly randomized- verification algorithm that proves the corr…
cs.SC2015★ 11 cited
Computing the Rank Profile Matrix
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
The row (resp. column) rank profile of a matrix describes the staircase shape of its row (resp. column) echelon form. In an ISSAC'13 paper, we proposed a recursive Gaussian elimina…