2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations
David Lucas, Vincent Neiger, Clément Pernet +2
We design and analyze new protocols to verify the correctness of various computations on matrices over the ring F[x] of univariate polynomials over a field F. For the sake of effic…
Certificates for triangular equivalence and rank profiles
Jean-Guillaume Dumas, David Lucas, Clément Pernet
In this paper, we give novel certificates for triangular equivalence and rank profiles. These certificates enable to verify the row or column rank profiles or the whole rank profil…