@String{ARITH01:BOOKTITLE = {Proceedings of the 15th Symposium on Computer Arithmetic}}
@String{ARITH01:EDITOR    = {Burgess, Neil and Ciminiera, Luigi}}
@String{ARITH01:ADDRESS   = {Vail, Colorado}}

@String{ARITH01:HOW       = {Fichier groupes, Livre}}

@string{ENSL:INST     = {{\'E}cole Normale Sup{\`e}rieure de Lyon}}

@inproceedings{LanMul01,
  author =	 {Lang, Thomas and Muller, Jean-Michel},
  title =	 {Bound on run of zeros and ones for algebraic
                  functions},
  pages =	 {13-20},
  year =	 2001,
  booktitle =	 ARITH01:BOOKTITLE,
  editor =	 ARITH01:EDITOR,
  address =	 ARITH01:ADDRESS,
  crindex =	 ARITH01:HOW
}

@inproceedings{PinBruMul01a,
  author =	 {Pi{\~n}eiro, Jos{\'e} Alejandro and Bruguera, Javier
                  D. and Muller, Jean-Michel},
  title =	 {Faithful powering computation using table look-up
                  and a fused accumulation tree},
  pages =	 {40-47},
  year =	 2001,
  booktitle =	 ARITH01:BOOKTITLE,
  editor =	 ARITH01:EDITOR,
  address =	 ARITH01:ADDRESS,
  crindex =	 ARITH01:HOW
}

@inproceedings{LefMul01a,
  author =	 {Lef{\`e}vre, Vincent and Muller, Jean-Michel},
  title =	 {Worst cases for correct rounding of the elementary
                  functions in double precision},
  pages =	 {111-118},
  year =	 2001,
  booktitle =	 ARITH01:BOOKTITLE,
  editor =	 ARITH01:EDITOR,
  address =	 ARITH01:ADDRESS,
  crindex =	 ARITH01:HOW
}

@inproceedings{DinTis01,
  author =	 {de Dinechin, Florent and Tisserand, Arnaud},
  title =	 {Some improvements on multipartite table methods},
  pages =	 {128-135},
  year =	 2001,
  booktitle =	 ARITH01:BOOKTITLE,
  editor =	 ARITH01:EDITOR,
  address =	 ARITH01:ADDRESS,
  crindex =	 ARITH01:HOW
}

@String{TCS:JOURNAL       = {Theoretical Computer Science}}

@ARTICLE{DauLan02,
        AUTHOR             = {Marc Daumas and Philippe Langlois},
        JOURNAL            = TCS:JOURNAL,
        TITLE              = {Additive symmetric: the non-negative case},
        YEAR               = {2002}
}

@inproceedings{BolDau01,
  author =	 {Boldo, Sylvie and Daumas, Marc},
  booktitle =	 {7{\`e}me Symposium sur les Architectures Nouvelles
                  de Machines},
  pages =	 {105-112},
  year =	 2001,
  title =	 {Performances d'implantations de l'addition en
                  pr{\'e}cision quad-double sur diff{\'e}rentes
                  machines},
  address =	 {Paris, France},
  crindex =	 {Fichier groupes, Livre},
  url =		 {http://www.ens-lyon.fr/LIP/Sympa/Sympa7/15.pdf}
}

@inproceedings{BolDau01b,
  author =	 {Boldo, Sylvie and Daumas, Marc},
  title =	 {A mechanically validated technique for extending the
                  available precision},
  booktitle =	 {35th Asilomar Conference on Signals, Systems, and
                  Computers},
  address =	 {Pacific Grove, California},
  year =	 2001
}

@inproceedings{DefKorMulRev01,
  author =	 {Defour, David and Kornerup, Peter and Muller,
                  Jean-Michel and Revol, Nathalie},
  title =	 {A new range reduction algorithm},
  booktitle =	 {35th Asilomar Conference on Signals, Systems, and
                  Computers},
  year =	 2001,
  address =	 {Pacific Grove, California}
}

@inproceedings{DauRidThe01,
  author =	 {Marc Daumas and Laurence Rideau and Laurent
                  Th{\'e}ry},
  address =	 {Edinburgh, Scotland},
  booktitle =	 {14th International Conference on Theorem Proving in
                  Higher Order Logics},
  title =	 {A generic library of floating-point numbers and its
                  application to exact computing},
  year =	 {2001},
  crindex =	 {Fichier}
}

@phdthesis{Mor01,
  author =	 {Moreau-Finot, Claire},
  address =	 {Lyon, France},
  school =	 ENSL:INST,
  title =	 {Preuves et algorithmes utilisant l'arithm{\'e}tique
                  normalis{\'e}e IEEE},
  year =	 2001,
  crindex =	 {Fichier},
  url =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD2001/PhD2001-03.ps.Z}
}

@phdthesis{Lan01,
  author =	 {Langlois, Philippe},
  school =	 {Universit{\'e} Claude Bernard},
  address =	 {Lyon, France},
  title =	 {Pr{\'e}cision finie et m{\'e}thode automatiques},
  type =	 {Habilitation {\`a} Diriger des Recherches},
  year =	 2001,
  crindex =	 {Fichier},
  url =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/HDR/HDR2001/HDR2001-01.ps.gz}
}

@phdthesis{Dau01,
  author =	 {Daumas, Marc},
  school =	 {Universit{\'e} Claude Bernard},
  address =	 {Lyon, France},
  title =	 {{\'E}crire les nombres autrement pour calculer plus vite},
  type =	 {Habilitation {\`a} Diriger des Recherches},
  year =	 2001,
  crindex =	 {Fichier}
}

@techreport{RR4059,
  author =	 {de Dinechin, Florent and Tisserand, Arnaud},
  number =	 {INRIA 4059 / LIP 38},
  title =	 {Some improvements on multipartite table methods},
  type =	 {Research report},
  year =	 2000,
  url =		 {http://www.inria.fr/rrrt/rr-4059.html}
}

@techreport{RR4095,
  author =	 {Daumas, Marc and Moreau-Finot, Claire and Thery,
                  Laurent},
  number =	 {INRIA 4095 / LIP 01},
  title =	 {Computer validated proofs of a toolset for adaptable
                  arithmetic},
  type =	 {Research report},
  year =	 2001,
  url =		 {http://www.inria.fr/rrrt/rr-4095.html}
}

@techreport{RR4115,
  author =	 {Daumas, Marc and Langlois, Philippe},
  number =	 {INRIA 4115 / LIP 06},
  title =	 {Additive symmetric: the non-negative case},
  type =	 {Research report},
  year =	 2001,
  url =		 {http://www.inria.fr/rrrt/rr-4115.html}
}

@techreport{RR4110,
  author =	 {Mohamed El Hadj, Yahya Ould and Revol, Nathalie},
  number =	 {INRIA 4110 / LIP 02},
  title =	 {Parallelization of automatic speech recognition},
  type =	 {Research report},
  year =	 2001,
  url =		 {http://www.inria.fr/rrrt/rr-4110.html}
}

@techreport{RR4205,
  author =	 {Langlois, Philippe and Revol, Nathalie},
  year =	 2001,
  number =	 {INRIA 4205 / LIP 18},
  type =	 {Research report},
  url =		 {http://www.inria.fr/rrrt/rr-4205.html},
  title =	 {Validating polynomial numerical computations with
                  complementary automatic methods}
}

@techreport{RR4221,
  author =	 {Boullis, Nicolas and Tisserand, Arnaud},
  year =	 2001,
  number =	 {INRIA 4221 / LIP 27},
  title =	 {On digit-recurrence division algorithms for
                  self-timed circuits},
  type =	 {Research report},
  url =		 {http://www.inria.fr/rrrt/rr-4221.html}
}

@techreport{SSV01,
  author =	 {Saunders, B.D and Storjohann, A. and Villard, Gilles},
  title =	 {Matrix rank certification},
  number =	 {LIP 30},
  year =	 2001,
  url =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2001/RR2001-30.ps.Z}
}

@techreport{KPV01,
  author =	 {Koiran, P. and Portier, N. and Villard, Gilles},
  title =	 {A rank theorem for {V}andermonde matrices},
  number =	 {LIP 34},
  year =	 2001,
  url =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2001/RR2001-34.ps.Z}
}

@techreport{CEKSTV01-1,
  author =	 {Chen, L. and Eberly, W. and Kaltofen, E. and
                  Saunders, B.D. and Turner, W.J. and Villard, Gilles},
  title =	 {{Efficient matrix preconditioners for black box
                  linear algebra}},
  number =	 {LIP 05},
  year =	 2001,
  url =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2001/RR2001-05.ps.Z}
}

%% ToDo

@inproceedings{BouTis01,
  author =	 {Boullis, Nicolas and Tisserand, Arnaud},
  title =	 {On digit-recurrence division algorithms for
                  self-timed circuits},
  booktitle =	 {Advanced Signal Processing Algorithms, Architecture
                  and Implementations XI},
  year =	 2001,
  editor =	 {F.T.~Luk},
  address =	 {San Diego, California},
}

@inproceedings{DefMul01a,
  author =	 {Defour, David and Muller, Jean-Michel},
  title =	 {Correctly rounded exponential function in double
                  precision arithmetic},
  booktitle =	 {Advanced Signal Processing Algorithms, Architecture
                  and Implementations XI},
  editor =	 {F.T.~Luk},
  year =	 2001,
  address =		 {San Diego, California}
}

@article{LefMul01b,
  author =	 {Lef\`evre, Vincent and Muller, Jean Michel},
  title =	 {On-the-fly range reduction},
  journal =	 {Journal of VLSI Signal Processing},
  year =	 2001,
  url =		 {http://www.wkap.nl/jrnltoc.htm/0922-5773}
}

@article{LLMS2001,
  author =	 {D. Lavenier and D. Litaize and Muller, Jean Michel and
                  P. Sainrat},
  title =	 {Et demain, quel PC ?},
  journal =	 {Technique et Science Informatiques},
  volume =	 {20},
  year =	 {2001},
  number =	 {1}
}

@proceedings{CapDau01,
  address =	 {Paris, France},
  editor =	 {Franck Cappello and Marc Daumas},
  title =	 {7{\`e}me Symposium sur les Architectures Nouvelles
                  de Machines},
  year =	 {2001},
  crindex =	 {Livre},
  url =		 {http://www.ens-lyon.fr/LIP/Sympa/Sympa7/}
}

@proceedings{ElhVilRev01,
  editor =	 {El Hajji, S. and Revol, Nathalie and Villard, Gilles},
  address =	 {Rabat, Morocco},
  title =	 {Alg{\`e}bre Lin{\'e}aire et Arithm{\'e}tique~: Calcul Num{\'e}rique,
                  Symbolique et Parall{\`e}le},
  year =	 {2001}
}
@inproceedings{DauLan01,
  author =	 {Daumas, Marc and Langlois, Philippe},
  address =	 {Rabat, Morocco},
  booktitle =	 {Alg{\`e}bre Lin{\'e}aire et Arithm{\'e}tique~: Calcul Num{\'e}rique,
                  Symbolique et Parall{\`e}le},
  pages =	 {189-194},
  title =	 {From $x$ to $z$ with finite precision addition},
  year =	 {2001},
  crindex =	 {Fichier}
}

@inproceedings{Rev01a,
  author =	 {Revol, Nathalie},
  title =	 {Newton iteration using multiple precision interval
                  arithmetic: the univariate case},
  booktitle =	 {Alg{\`e}bre Lin{\'e}aire et Arithm{\'e}tique~: Calcul Num{\'e}rique,
                  Symbolique et Parall{\`e}le},
  address =	 {Rabat, Morocco},
  pages =	 {121-129},
  year =	 2001
}

@inproceedings{Vil01,
  author =	 {Villard, Gilles},
  title =	 {Evaluation du signe et calcul du d{\'e}terminant d'une
                  matrice {\`a} coefficients entiers},
  booktitle =	 {Alg{\`e}bre Lin{\'e}aire et Arithm{\'e}tique~: Calcul Num{\'e}rique,
                  Symbolique et Parall{\`e}le},
  address =	 {Rabat, Morocco},
  pages =	 {147-153},
  year =	 2001,
  crindex =	 {Fichier},
  url =
                  {http://www.ens-lyon.fr/~gvillard/BIBLIOGRAPHIE/POSTSCRIPT/ala.ps}
}

@INBOOK{DauDinMul01,
        AUTHOR             = {Marc Daumas and Florent de~Dinechin and Jean-Michel Muller},
        CHAPTER            = {Arithm{\'e}tique flottante},
        PUBLISHER          = {Herm{\`e}s},
        TITLE              = {Arithm{\'e}tique et calcul sur machine},
        YEAR               = {{\`A} para{\^\i}tre}
}

@INPROCEEDINGS{RDMP01:PPAM,
  AUTHOR =	 {Revol, Nathalie and Denneulin, Y. and M\'ehaut, J.-F. and
                  Planquelle, B.},
  BOOKTITLE =	 {Parallel Processing and Applied Mathematics},
  TITLE =	 {Parallelization of continuous global optimization},
  YEAR =	 2001,
  address =	 {Naleczów, Poland}
}

@inproceedings{PinBruMul01b,
  author =	 {Pi{\~n}eiro, Jos{\'e} Alejandro and Bruguera, Javier
                  D. and Muller, Jean-Michel},
  title =	 {{FPGA} implementation of a faithful polynomial
                  approximation for powering function computation},
  booktitle =	 {Proceedings of EUROMICRO Symposium on Digital System
                  Design (DSD'2001)},
  year =	 2001,
  address =	 {Warszawa, Poland}
}


@article{DefMul01b,
  author =	 {Defour, David and Muller, Jean-Michel},
  title =	 {\'Evaluation des fonctions \'el\'ementaires},
  journal =	 {Calculateurs Parall\`eles},
  year =	 2001
}

@ARTICLE{Rev01b,
  AUTHOR =	 {Revol, N.},
  JOURNAL =	 {Calculateurs Parall\`eles},
  TITLE =	 {Arithm\'etique par intervalles},
  YEAR =	 2001
}



@inproceedings{KalVil01,
  title =	 {On the complexity of computing determinants},
  author =	 "Kaltofen, E. and Villard, Gilles",
  booktitle =	 {Fifth Asian Symposium on Computer Mathematics},
  address =	 {Singapore, Mailaisia},
  publisher =	 {World Scientific Publishing Company},
  year =	 2001
}


@article{BDV01,
   author = "Dumas, J.G. and Saunders, B.D. and Villard, Gilles",
   title = "{On efficient sparse integer matrix Smith normal form 
             computations}",
   journal = "Journal of Symbolic Computation, {\em special issue on} 
              Computer Algebra and Mechanized Reasoning",
   volume = 32,
   number = "1-2",
   pages = "71-99",
   year = 2001
}

@article{CEKSTV01-2,
  author =	 {Chen, L. and Eberly, W. and Kaltofen, E. and
                  Saunders, B.D. and Turner, W.J. and Villard, Gilles},
  title =	 {Efficient matrix preconditioners for black box
                  linear algebra},
  journal =	 "Linear Algebra and its Applications, {\em special
                  issue on} Infinite Systems of Linear Equations
                  Finitely Specified"
}    

@article{GBBV01,
  author =	 "Gerbaud, L. and Barkatou, M. and Villard, Gilles and
                  Bolopion, A.",
  title =	 "{R{\'e}solution symbolique d'{\'e}quations
                  diff{\'e}rentielles ordinaires en vue de l'{\'e}tude
                  de circuits d'{\'e}lectronique de puissance}",
  journal =	 "{Revue Internationale de G\'enie Electrique}",
  volume =	 4,
  number =	 "1-2",
  year =	 2001
}

@inproceedings{EbeGieVil00,
  author =	 {Eberly, Wayne and Giesbrecht, Mark and Villard,
                  Gilles},
  title =	 {Computing the determinant and {S}mith form of an
                  integer matrix},
  booktitle =	 {41st Annual IEEE Symposium on Foundations of
                  Computer Science},
  address =	 {Redondo Beach, California},
  pages =	 {675-679},
  year =	 2000,
  crindex =	 {Fichier}
}

@InBook{Barr:01,
  author =	 {Barraud, Alain and Brezinski, Claude and Chesneaux,
                  Jean-Marie and Langlois, Philippe and Lesecq,
                  Suzanne and Plateau, G\'erard and Renaud, Arnaud and
                  Visconti, Josselin},
  editor =	 {Alain Barraud},
  title =	 {Outils d'analyse num{\'e}rique pour l'automatique},
  chapter =	 1,
  publisher =	 {Herm\`es},
  year =	 2002,
  series =	 {Trait\'e IC2},
  pages =	 {9-43}
}

@Article{Lan01a,
  author =	 "Philippe Langlois",
  title =	 "Automatic linear correction of rounding errors",
  journal =	 "BIT Numerical Mathematics",
  PAGES =	 {515-539},
  year =	 {2001},
  volume =	 {41},
  number =	 {3},
  CRINDEX =	 {Manquant}
}

@Article{Lang:01b,
  author =	 {Philippe Langlois},
  title =	 "Une m\'ethode de correction automatique",
  journal =	 {Calculateurs Parall\`eles},
  year =	 2001
}

@InProceedings{	  Lang:00a,
  author =	 "Thierry Braconnier and Philippe Langlois",
  title =	 "From rounding error estimation to automatic
                  correction with automatic differentiation",
  editor =	 "George Corliss and Christel Faure and Andreas
                  Griewank and Laurent Hascoet and Uwe Naumann",
  booktitle =	 "Automatic Differentiation: from Simulation to
                  Optimization",
  pages =	 "351-359",
  year =	 2001
}


@MASTERSTHESIS{Bol01,
   AUTHOR =       {Sylvie Boldo},
   ADDRESS =      {Lyon, France},
   SCHOOL =       ENSL:INST,
   TITLE =        {Formalisation, amélioration et preuves d'algorithmes
                   en arithmétique flottante},
   YEAR =         {2001},
   CRINDEX = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/DEA/DEA2001/DEA2001-03.ps.Z}
 }

@MASTERSTHESIS{Bou01,
   AUTHOR =       {Nicolas Boullis},
   ADDRESS =      {Lyon, France},
   SCHOOL =       ENSL:INST,
   TITLE =        {Algorithmes de division pour les circuits asynchrones},
   YEAR =         {2001},
   CRINDEX = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/DEA/DEA2001/DEA2001-04.ps.Z}
 }

@MASTERSTHESIS{Gra01,
   AUTHOR =       {Stef Graillat},
   ADDRESS =      {Lyon, France},
   SCHOOL =       ENSL:INST,
   TITLE =        {Pseudoz\'eros et pgcd de polyn\^omes en pr\'ecision finie },
   YEAR =         {2001},
   CRINDEX = {http://gala.univ-perp.fr/~graillat/papers/P32.pdf}
 }