- 4
Jean-Guillaume Dumas
Professeur à l'UGA, directeur du LJK
4
Documents
Site web
- https://membres-ljk.imag.fr/Jean-Guillaume.Dumas
Publications
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
|
Elimination-based certificates for triangular equivalence and rank profilesJournal of Symbolic Computation, 2020, 98, pp.246-269. ⟨10.1016/j.jsc.2019.07.013⟩
Article dans une revue
hal-02191075v1
|
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time CircuitsISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
Communication dans un congrès
hal-01657873v1
|
|
|
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
|
|
Essentially optimal interactive certificates in linear algebraACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩
Communication dans un congrès
hal-00932846v4
|