15 citations · 23 across the 7 of their papers we have counts for
Showing 2018 · cs.SCShow all
2 papers · 2 filters
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…
cs.SC2018
Computing Popov and Hermite forms of rectangular polynomial matrices
Vincent Neiger, Johan Rosenkilde, Grigory Solomatov
We consider the computation of two normal forms for matrices over the univariate polynomials: the Popov form and the Hermite form. For matrices which are square and nonsingular, de…