Gilles VILLARD    Directeur de recherche CNRS/INS2I
AriC project-team
Laboratoire LIP   [CNRS  ENSL  INRIA  UCBL  U. Lyon ]
  46, Allée d'Italie F69364   Lyon   Cedex 07


PUBLICATIONS

Detailed list / co-authors.

  • C.-P. Jeannerod, V. Neiger, É. Schost, G. Villard. Computing minimal interpolation bases, J. of Symbolic Computation, 83:272-314, 2017, pdf/doi.
  • J.-G. Dumas, E.Kaltofen, E. Thomé., G.Villard. Linear time interactive certificates for the minimal polynomial and the determinant of a sparse matrix. ISSAC'16, Waterloo, Canada, 2016, pdf/doi.
  • C.-P. Jeannerod, V. Neiger, É. Schost, G. Villard. Fast computation of minimal interpolation bases in Popov form for arbitrary shifts. ISSAC'16, Waterloo, Canada, 2016, pdf/doi.
  • M. F. I. Chowdhury, C.-P. Jeannerod, V. Neiger, É. Schost, G. Villard. Faster algorithms for multivariate interpolation with multiplicities and simultaneous polynomial approximations, IEEE Trans. Inf. Theory, 61(5):2370-2387, 2015, pdf/doi.
  • Saruchi, I. Morel, D. Stehlé, G. Villard. LLL reducing with the most significant bits. ISSAC'14, Kobe, Japan, 2014, pdf/doi.
  • J. Chen, D. Stehlé, G. Villard. A new view on HJLS and PSLQ: sums and projections of lattices. ISSAC'13, Boston, USA, 2013, pdf/doi.
  • X.-W. Chang, D. Stehlé, G. Villard. Perturbation analysis of the QR factor R in the context of LLL lattice basis reduction,
        Mathematics of Computation, 81(279):1487-1511, 2012, pdf/doi.
  • G. Villard. Recent progress in linear algebra and lattice basis reduction. ISSAC'11, San Jose, California, 2011, invited, pdf/doi.
  • A. Novocin, D. Stehlé, G. Villard. An LLL-reduction algorithm with quasi-linear time complexity, STOC, San Jose, California, 2011, pdf/doi.
  • E. Kaltofen, G. Villard. On the complexity of computing determinants. Computational Complexity, 13:91-130, 2005, pdf/doi.

    SOFTWARE

  • Hplll software library home page,  GitHub repository.
  • LinBox joint CNRS/NSF project home page.
  • The Givaro page, a C++ library for computer algebra.

    • TO SEE

    International Linear Algebra Society         GDR CNRS Informatique Mathématique - GT Arithmétique - GT Calcul Formel

            ARITH 24, 24th IEEE Symposium on Computer Arithmetic, London, UK. July 24-26, 2017.
            PASCO 2017, 8th International Workshop on Parallel and Symbolic Computation, Kaiserslautern, Germany, July 23-24, 2017.
            ISSAC 2017, International Symposium on Symbolic and Algebraic Computation, Kaiserslautern, Germany, July 25-28 2017.
            CASC 2017, 19th International Workshop in Computer Algebra in Scientific Computing, Beijing, China, September 18-22, 2017.
            MACIS 2017, 7th International Conference on Mathematical Aspects of Computer and Information Sciences November 15-17, 2017 Vienna, Austria.
            STACS 2018, 35th International Symposium on Theoretical Aspects of Computer Science Feb.-March 3, 2018, Caen, France.
            ALA'18, SIAM Conference on Applied Linear Algebra Hong Kong Baptist University 4-8 May 2018.