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
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.