Researcher identifiers

Number of documents

5


"Gilles Villard"   

Journal articles1 document

  • Jean-Guillaume Dumas, B. David Saunders, Gilles Villard. On Efficient Sparse Integer Matrix Smith Normal Form Computations. Journal of Symbolic Computation, Elsevier, 2001, 32 (1-2), pp.71-99. ⟨10.1006/jsco.2001.0451⟩. ⟨hal-02018782⟩

Conference papers4 documents

  • Jean-Guillaume Dumas, Erich Kaltofen, Gilles Villard, Lihong Zhi. Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩. ⟨hal-01657873⟩
  • Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩. ⟨hal-01266041⟩
  • Jean-Guillaume Dumas, Gilles Villard. Computing the Rank of Large Sparse Matrices over Finite Fields. Computer Algebra in Scientific Computing (CASC) 2002, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, Sep 2002, Yalta, Ukraine. pp.47--62. ⟨hal-02068056⟩
  • Jean-Guillaume Dumas, B. David Saunders, Gilles Villard. Integer Smith form via the valence. International Symposium on Symbolic and Algebraic Computation (ISSAC'00), 2000, St. Andrews, United Kingdom. pp.95-105, ⟨10.1145/345542.345590⟩. ⟨hal-02018851⟩