- 2
Jean-Guillaume Dumas
Professeur à l'UGA, directeur du LJK
2
Documents
Site web
- https://membres-ljk.imag.fr/Jean-Guillaume.Dumas
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 2
|
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse MatrixISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩
Communication dans un congrès
hal-01266041v3
|
|
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[Research Report] Université Grenoble Alpes (UGA). 2015
Rapport
hal-01171249v1
|