Gilles VILLARD    Directeur de recherche CNRS/INS2I
Arénaire project-team
Chair of Laboratoire LIP   [CNRS  ENSL  INRIA  UCBL  U. Lyon ]
  46, Allée d'Italie F69364   Lyon   Cedex 07
Tél. +33 4 72 72 86 42   Fax. (LIP) +33 4 72 72 80 80   mailto

PUBLICATIONS

Detailed list / co-authors. Some:

  • X.-W. Chang, D. Stehlé, G. Villard. Perturbation analysis of the QR factor R in the context of LLL lattice basis reduction, manuscript, pdf.
  • I. Morel, D. Stehlé, G. Villard. Analyse numérique et réduction de réseaux, TSI, 29(1):115-144, 2010, pdf.
  • I. Morel, D. Stehlé, G. Villard. H-LLL: Using Householder inside LLL. ISSAC'09, Seoul, Korea, 2009, pdf/doi.
  • C.-P. Jeannerod, H. Knochel, C. Monat, G. Revy, G. Villard.
        A new binary floating-point division algorithm and its software implementation on the ST231 processor, Proc. ARITH-19, Portland, USA, 2009, pdf/doi.
  • G. Villard. Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation, Oct. 2008, pdf.
  • G. Villard. Some recent progress in exact linear algebra and related questions, tutorial. ISSAC'07, Waterloo, Canada, 2007, pdf/doi.
  • G. Villard. Certification of the QR factor R, and of lattice basis reducedness. ISSAC'07, Waterloo, Canada, 2007, pdf/doi.
  • C.P. Jeannerod, G. Villard. Essentially optimal computation of the inverse of generic polynomial matrices. J. of Complexity, 21(1):72-86, 2005, pdf/doi.
  • E. Kaltofen, G. Villard. On the complexity of computing determinants. Computational Complexity, 13:91-130, 2005, pdf/doi.

    TO SEE

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

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

            MathInfo 2010, Mathématiques et Informatique : vers de nouvelles interactions, 1er février - 5 mars 2010, CIRM, Luminy.
            STACS 2010, 27th International Symposium on Theoretical Aspects of Computer Science, March 4-6 2010, Nancy, France.
            JNCF 2010, Journées Nationales de Calcul Formel, 3-7 mai 2010, CIRM, Luminy.
            NSV-3, Third International Workshop on Numerical Software Verification, Edinburgh, Scotland, July 15, 2010.
            PASCO 2010, International Workshop on Parallel symbolic Computation, Grenoble, July 21-23, 2010.
            ISSAC 2010, International Symposium on Symbolic and Algebraic Computation, Munich, July 25-28, 2010.
            ICMS 2010, The Third International Congress on Mathematical Software, Kobe, Japan, September 13 to 17, 2010.
            MSRI 2010, SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Nov. 17-19, 2010, Berkeley, CA.