Gilles VILLARD    Directeur de recherche CNRS/Sciences Informatiques
AriC project-team

Laboratoire LIP   [CNRS  ENSL  INRIA  UCBL  U. Lyon ]
  46, Allée d'Italie F69364   Lyon   Cedex 07


RTCA volume in the Springer collection TMSC: call for papers.

PUBLICATIONS    Detailed list / co-authors.

Selected:

  • V. Neiger, C. Pernet, G. Villard. Computing Krylov iterates in the time of matrix multiplication, ISSAC'24, Raleigh, NC, USA, 2024, pdf/doi.
  • G. Villard. Bivariate polynomial reduction and elimination ideal over finite fields, Journal of Symbolic Computation, 127, 2025, pdf/doi.
  • V. Neiger, B. Salvy, É. Schost, G. Villard. Faster modular composition, Journal of the ACM, 71(2)-11, 2024, pdf/doi.
  • C. Pernet, H. Signargout, G. Villard. High-order lifting for polynomial Sylvester matrices, Journal of Complexity, 2023, pdf/doi.
  • C. Pernet, H. Signargout, G. Villard. Exact computations with quasiseparable matrices. ISSAC'23, Tromsø, Norway, 2023, pdf/doi.
  • G. Villard. On computing the resultant of generic bivariate polynomials. ISSAC'18, New York, USA, 2018, pdf/doi, and maple worksheets.
  • C.-P. Jeannerod, V. Neiger, É. Schost, G. Villard. Computing minimal interpolation bases, J. of Symbolic Computation, 83:272-314, 2017, 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.
  • 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.

  • LinBox joint CNRS/NSF project LinBox Team GitHub (linalg.org).
  • The Givaro page, a C++ library for computer algebra.

  •         Computer Algebra Seminars - GT Calcul Formel GdR IFM

            ICMS 2024, International Congress on Mathematical Software, Durham University, United Kingdom, 22-25 July, 2024.
            MEGA 2024, Effective Methods in Algebraic Geometry, MPI, Leipzig, Germany, 29 Jul.-2 Aug. 2024.
            CASC 2024, Computer Algebra in Scientific Computing, Rennes, 2-6 Sept. 2024.
            STACS 2025, 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4-7 March, 2025.

    International Linear Algebra Society         GdR CNRS Informatique Fondamentale et ses Mathématiques - GT Arithmétique

    PAST

    Conference archives

    Teaching: Modern algorithms for symbolic summation and integration, M2 ENS de Lyon.

  • Extended precision floating-point benchmarks.
  • Hplll software library home page,  GitHub repository.