@InProceedings{BIT:spie03,
  author =	 {Jean-Luc Beuchat and Laurent Imbert and Arnaud
                  Tisserand},
  title =	 {Comparison of Modular Multipliers on {FPGA}s},
  booktitle =	 {Proceedings of SPIE 2003},
  year =	 {2003}
}

@TechReport{BM:rr2003-40,
  author =       {Jean-Luc Beuchat and Jean-Michel Muller},
  title =        {Op\'erateurs it\'eratifs de multiplication-addition
                  modulaire pour {FPGA}},
  institution =  {Laboratoire de l'Informatique du Parall\'elisme},
  year =         {2003},
  number =       {2003-40},
  address =      {Ecole Normale Sup\'erieure de Lyon, 46 All\'ee
                  d'Italie, 69364 Lyon Cedex 07},
  month =        aug
}

@InProceedings{BM:sympaaa2003,
  author =	 {Jean-Luc Beuchat and Jean-Michel Muller},
  title =	 {Multiplication-addition modulaire: algorithmes
                  it\'eratifs et implantations sur {FPGA}},
  booktitle =	 {Actes de RenPar'15, CFSE'3 et SympAAA'2003},
  editor =	 {M. Auguin and F. Baude and D. Lavenier and
                  M. Riveill},
  year =	 {2003},
  pages =	 {235--242},
  month =	 oct
}

@techreport{BP-fmod,
  AUTHOR =       {Nicolas Brisebarre and Georges Philibert},
  number =       {2003-50},
  institution =  {LIP, \'E.N.S. Lyon},
  TITLE =        {Effective lower and upper bounds for the Fourier
                  coefficients of powers of the modular invariant $j$},
  YEAR =         {2003},
  month =        {November},
  url =          {http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-50.ps.gz}
}

@Article{BT:tsisympa8,
  author =	 {Jean-Luc Beuchat and Arnaud Tisserand},
  title =	 {Evaluation polynomiale en-ligne de fonctions
                  \'el\'ementaires sur {FPGA}},
  journal =	 {Technique et science informatiques},
  year = 2003,
  note = {to appear}
}

@InProceedings{Beuchat:asap03,
  author =	 {Jean-Luc Beuchat},
  title =	 {Modular Multiplication for {FPGA} Implementation of
                  the {IDEA} Block Cipher},
  booktitle =	 {Proceedings of the 14th IEEE International
                  Conference on Application-Specific Systems,
                  Architectures, and Processors},
  pages =	 {412--422},
  year =	 {2003},
  editor =	 {E. Deprettere and S. Bhattacharyya and J. Cavallaro
                  and A. Darte and L. Thiele},
  publisher =	 {IEEE Computer Society}
}

@InProceedings{Beuchat:fpl2003,
  author =	 {Jean-Luc Beuchat},
  title =	 {{FPGA} Implementations of the {RC6} Block Cipher},
  booktitle =	 {Field-Programmable Logic and Applications},
  pages =	 {101--110},
  year =	 {2003},
  editor =	 {P. Y. K. Cheung and G. A. Constantinides and
                  J. T. de Sousa},
  number =	 {2778},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer}
}

@InProceedings{Beuchat:raw03,
  author =	 {Jean-Luc Beuchat},
  title =	 {Some Modular Adders and Multipliers for Field
                  Programmable Gate Arrays},
  booktitle =	 {Proceedings of the 17th International Parallel \&
                  Distributed Processing Symposium},
  year =	 {2003},
  publisher =	 {IEEE Computer Society}
}




@TechReport{Beuchat:rr2003-14,
  author =	 {Jean-Luc Beuchat},
  title =	 {More on Modulo $2^n-1$ Addition},
  type = "Research report",
  institution =	 {Laboratoire de l'Informatique du Parall\'elisme},
  year =	 {2003},
  number =	 {2003-14},
  address =	 {Ecole Normale Sup\'erieure de Lyon, 46 All\'ee
                  d'Italie, 69364 Lyon Cedex 07},
  month =	 feb
}

@inproceedings{BolDau03,
  author =	 {Sylvie Boldo and Marc Daumas},
  title =	 {Representable correcting terms for possibly
                  underflowing floating point operations},
  pages =	 {79-86},
  year =	 2003,
  address =	 {Santiago de Compostela, Spain},
  booktitle =	 {Proceedings of the 16th Symposium on Computer
                  Arithmetic},
  editor =	 {Bajard, Jean-Claude and Schulte, Michael},
  url =
                  {http://www.ens-lyon.fr/~daumas/SoftArith/BolDau03.pdf}
}

@Article{BolDau04a,
  author =	 {Boldo, Sylvie and Daumas, Marc},
  title =	 {Properties of two's complement floating point
                  notations},
  journal =	 {International Journal on Software Tools for
                  Technology Transfer},
  year =	 2003,
  note = {to appear}
}


@Article{BolDau04b,
  author =	 {Sylvie Boldo and Marc Daumas},
  title =	 {A simple test qualifying the accuracy of Horner's
                  rule for polynomials},
  journal =	 {Numerical Algorithms},
  year =	 2003,
  note = {to appear}
}




@inproceedings{BolDauThe03,
  author =	 {Sylvie Boldo and Marc Daumas and Laurent Th{\'e}ry},
  address =	 {Roma, Italy},
  booktitle =	 {Proceedings of the 11th Symposium on the Integration
                  of Symbolic Computation and Mechanized Reasoning},
  title =	 {Formal proofs and computations in finite precision
                  arithmetic},
  year =	 2003,
  crindex =	 {En attente}
}

@masterthesis{Detrey03,
  author = {J\'er\'emie Detrey},
  title = {Biblioth\`eque d'op\'erateurs param\'etrables pour l'arithm\'etique "r\'eelle" sur FPGA},
  address = {Lyon, France},
  type = {M\'emoire de {DEA}}, 
  school = {\'Ecole Normale Sup\'erieure de Lyon},
  year = {2003},
  url = {http://www.ens-lyon.fr/LIP/Pub/Rapports/DEA/DEA2003/DEA2003-07.ps.gz}
}

@masterthesis{,
  author = {Saurabh Kumar Raina},
  title = {Efficient Division Methods When the Divisor is known beforehand},
  address = {Lyon, France},
  type = {M\'emoire de {DEA}}, 
  school = {\'Ecole Normale Sup\'erieure de Lyon},
  year = {2003},
  url = {http://www.ens-lyon.fr/LIP/Pub/Rapports/DEA/DEA2003/DEA2003-06.ps.gz}
}

@masterthesis{Melquiond03,
  author = {Guillaume Melquiond},
  title = {Robustesse d'algorithmes pour l'\'evitement des collisions a\'eriennes},
  address = {Lyon, France},
  type = {M\'emoire de {DEA}}, 
  school = {\'Ecole Normale Sup\'erieure de Lyon},
  year = {2003},
  url = {http://www.ens-lyon.fr/LIP/Pub/Rapports/DEA/DEA2003/DEA2003-03.ps.gz}
}

@InProceedings{BouTis03-arith16,
  author =	 {N. Boullis and A. Tisserand},
  title =	 {Some Optimizations of Hardware Multiplication by
                  Constant Matrices},
  booktitle =	 {ARITH 16},
  pages =	 {20--27},
  year =	 2003
}



@techreport{Bri-eq-diff,
  AUTHOR =       {Nicolas Brisebarre},
  number =       {2003-53},
   institution = {LIP, \'E.N.S. Lyon},
  TITLE =        {An algorithm for finding entire solutions of systems
                  of difference equations},
  YEAR =         {2003},
  month = {November},
URL =            {http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-53.ps.gz}
}

@techreport{BriMul,
  author =	 {Nicolas Brisebarre and J.-M. Muller},
  number =	 {cs.MS/0307009},
  title =	 {Finding the "truncated" polynomial that is closest
                  to a function},
  type =	 {arXiv},
  year =	 2003,
  url =		 {http://arxiv.org/abs/cs/0307009}
}

@ARTICLE{BriMulRai,
  AUTHOR =	 {Nicolas Brisebarre and Jean-Michel Muller and
                  Saurabh Kumar Raina},
  TITLE =	 {Accelerating correctly rounded floating-point
                  division when the divisor is known in advance},
  JOURNAL =	 {IEEE Transactions on Computers},
  VOLUME =	 {},
  YEAR =	 {2003},
  NOTE = {to appear},
  PAGES =	 {}
}

@ARTICLE{DHLMRZ03,
  AUTHOR =       {Defour, D. and Hanrot, G. and Lef\`evre, V. and
                  Muller, J.-M. and Revol, N. and Zimmermann, P.},
  TITLE =        {Proposal for a standardization of mathematical
                  function implementation in floating-point
                  arithmetic},
  JOURNAL =      {Numerical Algorithms},
  YEAR =         {2003},
  NOTE = {to appear}
}

@INPROCEEDINGS{DHLMRZ03-Dagstuhl,
  AUTHOR =       {Defour, D. and Hanrot, G. and Lef\`evre, V. and
                  Muller, J.-M. and Revol, N. and Zimmermann, P.},
  TITLE =        {Proposal for a standardization of mathematical
                  function implementation in floating-point
                  arithmetic},
  BOOKTITLE =    {Numerical Software with Result Verification},
  ADDRESS =      {Dagstuhl, Germany},
  YEAR =         {2003}
}

@inproceedings{DSV03,
  author =	 "Darte, A. and Schreiber, R. and Villard, G.",
  title =	 "Lattice-based memory allocation",
  month =	 nov,
  booktitle =	 "{International Conference on Compilers, Architecture
                  and Synthesis for Embedded Systems, San Jose,
                  California, USA}",
  year =	 2003
}


@article{DauLan03,
  author =	 {Daumas, Marc and Langlois, Philippe},
  title =	 {Additive symmetries: the non-negative case},
  journal =	 {Theoretical Computer Science},
  volume =	 291,
  number =	 2,
  pages =	 {143-157},
  year =	 2003,
  crindex =	 {Fichier},
  url =		 {http://dx.doi.org/10.1016/S0304-3975(02)00223-2},
  url.alt =
                  {ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RR/RR-4115.pdf}
}

@InProceedings{DefDin2003,
  author =	 {de Dinechin, F. and Defour, D.},
  title =	 {Software Carry-Save: A case study for
                  instruction-level parallelism},
  booktitle =	 {Seventh International Conference on Parallel
                  Computing Technologies},
  year =	 2003,
  month =	 Sep,
  address =	 {Nizhny Novgorod, Russia}
}

@techreport{DefDinMul2003,
  author =	 {D.~Defour and F.~de~Dinechin and J.M.~Muller},
  title =	 {{CR-LIBM}: The evaluation of the exponential},
  institution =	 {Laboratoire de l'Informatique du Parall\'elisme},
  address =	 {Ecole Normale Sup\'erieure de Lyon, 46 All\'ee
                  d'Italie, 69364 Lyon Cedex 07},
  year =	 {2003},
  number =	 {2003-37},
  type = "Research report",
  month =	 {July},
  url =	 {http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-37.ps.gz}
}

@phdthesis{Defour-thesis,
  author =       {Defour, David},
  title =	 {Fonctions El\'ementaires : algorithmes et
                  impl\'ementations efficaces pour l'arrondi correct
                  en double pr\'ecision},
  SCHOOL =	 {\'Ecole Normale Sup\'erieure de Lyon},
  ADDRESS =	 {Lyon, France},
  year =	 {2003},
  month =	 sep,
  URL =
                  {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD2003/PhD2003-01.ps.gz}
}


@InProceedings{DetDin:asilomar03,
  author =	 {Detrey, J\'er\'emie and de Dinechin, Florent},
  title =	 {A {VHDL} Library of {LNS} Operators},
  booktitle =	 {37th Asilomar Conference on Signals, Systems and
                  Computers},
  year =	 2003,
  address =	 {Pacific Grove, USA}
}

@InProceedings{DetDin:sympaaa03,
  author =	 {Detrey, J\'er\'emie and de Dinechin, Florent},
  title =	 {Outils pour une comparaison sans a priori entre
                  arithm\'etique logarithmique et arithm\'etique
                  flottante},
  booktitle =	 {Symposium en Architecture et Ad\'equation
                  Architectures Algorithmes},
  year =	 2003,
  month =	 oct,
  address =	 {La Colle sur Loup, France}
}

@InBook{DinechinRisset2003,
  author = {de~Dinechin, F. and Risset, T. and Manjunathaiah, M and Spivey, M},
  chapter = {Design of highly parallel architectures with Alpha and Handel},
  title =    {System Specification and Design Languages (best of FDL'02)},
  year =      2003,
  publisher =      {Kluwer}
}

@PROCEEDINGS{EHRVD03,
  EDITOR =       {El Hajji, S. and Revol, N. and Van Dooren, P.},
  TITLE =        {Special issue ``Linear Algebra and Arithmetic'' of Journal of Computational and Applied Mathematics},
  NUMBER =       {1},
  VOLUME =       {162},
  YEAR =         {2003},
  NOTE = {to appear}
}

@inproceedings{ErcMul2003,
  author =	 {Milos Ercegovac and Jean-Michel Muller},
  title =	 {Complex Division with Prescaling of the Operands},
  booktitle =	 {Proceedings of ASAP'03: 14th IEEE Conference on
                  Application-Specific Systems, Architectures and
                  Processors},
  year =	 {2003},
  month =	 {June},
  publisher =	 {IEEE Computer Society},
  editor =	 {E. Deprettere and S. Bhattacharyya and J. Cavallaro
                  and A. Darte},
  pages =	 {304-314},
  key =		 {ErcMul2003}
}

@inproceedings{GJV03,
  author =	 {Giorgi, P. and Jeannerod, C.-P. and Villard, G.},
  title =	 {On the complexity of polynomial matrix computations},
  booktitle =	 {Proceedings of the 2003 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC'03)},
  month =	 {August},
  year =	 {2003},
  pages =	 {135--142},
  location =	 {Philadelphia, PA, USA},
  publisher =	 {ACM Press}
}

@TECHREPORT{GPR03,
  AUTHOR =       {Grimmer, M. and Petras, K. and Revol, N.},
  TITLE =        {Multiple Precision Interval Packages: Comparing
                  Different Approaches},
  NUMBER =       {4841},
  NOTE =         {submitted (under revision) to LNCS, Springer-Verlag},
  YEAR =         {2003},
  TYPE =         {Research report},
  INSTITUTION =  {Inria},
  URL =          {http://www.inria.fr/rrrt/rr-4841.html}
}

@inproceedings{Gio03,
  author =	 "Giorgi, Pascal",
  series =	 "The 9th International IMACS Conference on
                  Applications of Computer Algebra, Raleigh, North
                  Carolina, USA",
  month =	 jul,
  title =	 "{{From BLAS routine to finite field exact linear
                  algebra solution}}",
  year =	 "2003"
}


@article{JeVi03,
  author =	 "Jeannerod, C.-P. and Villard, G.",
  title =	 "Essentially optimal computation of the inverse of
                  generic polynomial matrices",
  journal =	 "Journal of Complexity",
  year = 2003,
  note =	 {to appear}
}

@article{Jea04,
  author =	 {Jeannerod, C.-P.},
  title =	 {On matrix perturbations with minimal leading {Jordan} structure},
  journal =	 "J. Comp. Applied Math",
  year = 2003,
  note =	 {to appear}
}


@article{KPV03,
  author =	 {Koiran, P. and Portier, N. and Villard, G.},
  title =	 {{A rank theorem for Vandermonde matrices}},
  journal =	 {Linear Algebra and its Applications},
  year = 2003,
  note = {to appear}
}

@article{KaVi02,
  author =	 {Kaltofen, E. and Villard, G.},
  title =	 {Computing the sign or the value of the determinant
                  of an integer matrix, a complexity survey},
  journal =	 "J. Comp. Applied Math",
  year = 2003,
  note =	 {to appear}
}


@techreport{KaVi03,
   author = "Kaltofen, E. and Villard, G.",
   title = "On the complexity of computing determinants",
   number = {2003-36},
   institution =	 {Laboratoire de l'Informatique du Parall\'elisme},
     address =	 {Ecole Normale Sup\'erieure de Lyon, 46 All\'ee
                  d'Italie, 69364 Lyon Cedex 07},
   year = {2003},
   type = "Research report",
   url = {http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2003/RR2003-36.ps.gz}
}


@proceedings{KorBajFrouMul2003,
  editor =	 {Peter Kornerup and Jean-Claude Bajard and Christiane
                  Frougny and Jean-Michel Muller},
  title =	 {Special issue ``Real Numbers and Computers'' of
                  Theoretical Computer Science},
  year =	 {2003},
  month =	 jan,
  volume =	 {291},
  key =		 {KorBajFrouMul2003},
  number =	 {2}
}




@inproceedings{KorMul2003,
  author =	 {Peter Kornerup and Jean-Michel Muller},
  title =	 {Choosing Starting Values for Newton-Raphson
                  Computation of Reciprocals, Square-Roots and
                  Square-Root Reciprocals},
  booktitle =	 {Proceedings of RNC5},
  year =	 {2003},
  month =	 {September},
  address =	 {Lyon},
  editor =	 {M. Daumas and N. Revol},
  key =		 {KorMul2003}
}

@ARTICLE{LR01,
  AUTHOR =       {Langlois, P. and Revol, N.},
  TITLE =        {Validating polynomial numerical computations with
                  complementary automatic methods},
  JOURNAL =      {Mathematics and Computers in Simulation},
  NOTE = {to appear},
  YEAR = {2003},
  URL = {http://www.inria.fr/rrrt/rr-4205.html}
}

@techreport{Lauter2003,
        author = {C. Quirin Lauter},
        title = {A correctly rounded implementation of the exponential function on the Intel
Itanium architecture},
        institution = {LIP, \'Ecole Normale Sup\'erieure de Lyon},
        year = 2003,
        number = {RR2003-54},
        month = nov,
        note = {Available at ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2003/RR2003-54.ps.gz}
}

@article{LefevreMuller2003,
  author =	 {V. Lef{\`e}vre and J.-M.~Muller},
  title =	 {On-the-Fly Range Reduction},
  journal =	 {Journal of {VLSI} Signal Processing},
  volume =	 {33},
  year =	 {2003},
  pages =	 {31--35},
  month =	 {February},
  number =	 {1/2},
  key =		 {LefevreMuller2003}
}

@inproceedings{LiBolDau03,
  author =	 {Ren-Cang Li and Sylvie Boldo and Marc Daumas},
  title =	 {Theorems on efficient argument reductions},
  pages =	 {129-136},
  year =	 2003,
  address =	 {Santiago de Compostela, Spain},
  booktitle =	 {Proceedings of the 16th Symposium on Computer
                  Arithmetic},
  editor =	 {Bajard, Jean-Claude and Schulte, Michael},
  url =
                  {http://www.ens-lyon.fr/~daumas/SoftArith/LiBolDau03.pdf}
}

@techreport{MulNicRob2003,
  author =	 {Jean-Michel Muller and Jean-Louis Nicolas and Xavier
                  Roblot},
  title =	 {Nombres de Solutions dans une Binade de l'Equation
                  $a^2+b^2 = c^2+c$},
  institution =	 {Laboratoire de l'Informatique du Parall\'elisme},
     address =	 {Ecole Normale Sup\'erieure de Lyon, 46 All\'ee
                  d'Italie, 69364 Lyon Cedex 07},
  type = "Research report",
  year =	 {2003},
  number =	 {2003-45}
}

@inproceedings{Mularith16,
  author =	 {Jean-Michel Muller},
  title =	 {"Partially rounded" Small-Order Approximations for
                  Accurate, Hardware-Oriented, Table-Based Methods},
  pages =	 {114-121},
  year =	 2003,
  booktitle =	 {Proceedings of the 16th Symposium on Computer
                  Arithmetic},
  editor =	 {Jean-Claude Bajard and Michael Schulte},
  address =	 {Santiago de Compostela, Spain},
  crindex =	 {},
  url =		 {http://computer.org/proceedings/},
}

@TECHREPORT{RMB03,
  AUTHOR =       {Revol, N. and Makino, K. and Berz, M.},
  TITLE =        {Taylor models and floating-point arithmetic: proof
                  that arithmetic operations are validated in {COSY}},
  NUMBER =       {4737},
  YEAR =         {2003},
  TYPE =         {Research report},
  INSTITUTION =  {Inria},
  NOTE =         {submitted to Journal of Logic and Algebraic Programming},
  URL =          {http://www.inria.fr/rrrt/rr-4737.html}
}

@INPROCEEDINGS{RR03-Dagstuhl,
  AUTHOR =       {Revol, N. and Rouillier, F.},
  TITLE =        {The {MPFI} library: introduction and applications},
  BOOKTITLE =    {Numerical Software with Result Verification},
  ADDRESS =      {Dagstuhl, Germany},
  YEAR =         {2003}
}


@ARTICLE{Revol01,
  AUTHOR =       {Revol, N.},
  TITLE =        {Interval Newton iteration in multiple precision for
                  the univariate case},
  JOURNAL =      {Numerical Algorithms},
  VOLUME =       {34},
  NUMBER =       {2},
  PAGES =        {417--426},
  YEAR =         {2003}
}

@INPROCEEDINGS{Revol03-ACA,
  AUTHOR =       {Revol, N.},
  series =       "The 9th International IMACS Conference on
                  Applications of Computer Algebra, Raleigh, North
                  Carolina, USA",
  month =        jul,
  TITLE =        {Multiple precision interval arithmetic and
                  application to linear systems},
  YEAR =         {2003}
}


@article{SSV02,
  author =	 {Saunders, B.D and Storjohann, A. and Villard, G.},
  title =	 {Matrix rank certification},
  journal =	 "Elect. J. Linear Algebra",
  year = 2003,
  note =	 "{to appear}"
}

@InBook{Tis04-chap-lp,
  author =	 {A. Tisserand},
  title =	 {Low Power Electronics Design},
  chapter =	 {Low-Power Arithmetic Operators},
  publisher =	 {CRC Press},
  year = 2003,
  note = {to appear}
}

@phdthesis{Vil03-1,
  author =	 "Villard, G.",
  school =	 {Universit{\'e} Claude Bernard},
  address =	 {Lyon, France},
  title =	 "{{Algorithmique en alg\`ebre lin\'eaire exacte}}",
  type =	 {Habilitation {\`a} Diriger des Recherches},
  month =	 mar,
  year =	 2003,
  url = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/HDR/HDR2003/HDR2003-01.ps.gz}
}

@inproceedings{Vil03-2,
  author =	 "Villard, G.",
  title =	 "{Exact computations on polynomial and integer
                  matrices {\em (invited talk)}}",
  series =	 "{SIAM Conference on Applied Linear Algebra,
                  Williamsburg, Virginia, USA}",
  month =	 jul,
  year =	 "2003"
}