TY  - RPRT
TI  - 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
AU  - Jean-Guillaume Dumas
AU  - Erich Kaltofen
AU  - Emmanuel Thomé
PY  - 2015
UR  - https://arxiv.org/abs/1507.01083
ID  - 1507.01083
ER  -