2 papers
cs.SC2019
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.SC2018
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…