1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.SC2019
Sparse Interpolation With Errors in Chebyshev Basis Beyond Redundant-Block Decoding
Erich L. Kaltofen, Zhi-Hong Yang
We present sparse interpolation algorithms for recovering a polynomial with terms from evaluations at distinct values for the variable when of the evaluations c…
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.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…