@book{BajMul2004,
    editor={Jean-Claude~Bajard and Jean-Michel~Muller},
    title={Calcul et Arithm{\'e}tique des Ordinateurs},
    publisher={Herm{\`e}s Science Publishing},
    year={2004},
    series={{IC} 2}
}

@InCollection{BT:ic2_arith,
  author = 	 {Jean-Luc Beuchat and Arnaud Tisserand},
  editor =       {Jean-Claude Bajard and Jean-Michel Muller},
  title = 	 {Op{\'e}rateurs arithm{\'e}tiques sur circuits {FPGA}},
  booktitle = 	 {Calcul et arithm{\'e}tique des ordinateurs},
  pages =        {109--152},
  series =       {Trait{\'e} IC2},
  publisher = 	 {Lavoisier},
  year = 	 {2004}}

@TechReport{rr5158,
  author = 	 {Jean-Luc Beuchat and Nicolas Sendrier and Arnaud Tisserand and Gilles Villard},
  title = 	 {{FPGA} Implementation of a Recently Published Signature Scheme},
  type =         {Research report},
  institution =  {Institut National de Recherche en Informatique et en Automatique},
  year =         {2004},
  number =       {5158},
  month =        mar}

@TechReport{rr5316,
  author = 	 {Jean-Luc Beuchat},
  type =         {Research report},
  title = 	 {A Family of Modulo $(2^n+1)$ Multipliers},
  institution =  {Institut National de Recherche en Informatique et en Automatique},
  year =         {2004},
  number =       {5316},
  month =        sep}

@Article{BM:el-40-11,
  author = 	 {Jean-Luc Beuchat and Jean-Michel Muller},
  title = 	 {Modulo $M$ Multiplication-Addition: Algorithms and {FPGA} Implementation},
  journal = 	 {Electronics Letters},
  year = 	 {2004},
  volume =	 {40},
  number =	 {11},
  pages =	 {654--655},
  month =	 may}

@InProceedings{SPIE2004,
  author =       {Christian Bertin and Nicolas Brisebarre and Benoit Dupont de Dinechin and Claude-Pierre Jeannerod and
                  Christophe Monat and Jean-Michel Muller and Saurabh-Kumar Raina and Arnaud Tisserand}, 
  title =        {{A floating-point library for integer processors}},
  booktitle =    {Proceedings of SPIE's 49th Annual Meeting},
  year =         2004,
  month =        aug,	
  address =      {Denver, Colorado, U.S.A.}
}

@techreport{BolMul2004,
    author={S.~Boldo and J.-M.~Muller},
    title={Some Functions Computable with a Fused Mac},
    institution={INRIA},
    year={2004},
    month= oct,
    type={Research Report},
    number={5320},
    key={BolMul2004},
    note={available at \url{www.inria.fr}, submitted to the 17th {IEEE} Symposium
        on Computer Arithmetic}
}

@InProceedings{DetDin:FPL2004,
  author =       {Detrey, J. and de Dinechin, F.},
  title =        {Second Order Function Approximation 
                 Using a Single  Multiplication on {FPGAs}},
  booktitle =    {14th Intl Conference on Field-Programmable Logic and Applications},
  publisher =	 {LNCS 3203},
  pages = {221-230},
  year =         2004,
  month =        aug,	
  note = {Improved version of  Inria Research report 5140 available at \url{www.inria.fr/rrrt/rr-5140.html}},
  address =      {Antwerp, Belgium}
}

@article{DinTis2004,
  author = {F. de~Dinechin and A. Tisserand},
  title = {Multipartite table methods},
  JOURNAL =	 {{IEEE} Transactions on Computers},
   NOTE = {\aparaitre}
}

@techreport{DetDinFPLib2004LIP,
	author = {Detrey, J. and de~Dinechin, F.},
        type =         {Research report},
	title = {A tool for unbiased comparison between logarithmic and
       floating-point arithmetic},
        institution =  {Laboratoire de l'Informatique du Parall{\'e}lisme},
        address =      {{\'E}cole Normale Sup{\'e}rieure de Lyon, 46 All{\'e}e
                 d'Italie, 69364 Lyon Cedex 07},
	year = 2004,
	number = {2004--31},
	month = mar
}

@Article{DetDin:TSI04,
  author =       {Detrey, J. and de Dinechin, F.},
  title =        {Outils pour une comparaison sans a priori entre
                  arithm{\'e}tique logarithmique et arithm{\'e}tique
                  flottante},
  JOURNAL = {Technique et science informatiques},
  NOTE = {\aparaitre}
}

@InProceedings{DinLoiMul:RNC2004,
  author =       {de Dinechin, F. and Loirat, C. and Muller, J.-M.},
  title =        {A proven correctly rounded logarithm in double-precision},
  booktitle =    {RNC6, Real Numbers and Computers},
  year =         2004,
  month =        nov,
  address =      {Schloss Dagstuhl, Germany}
}

@TECHREPORT{DinDefLau2004Inria,
	author = {de~Dinechin, F. and D. Defour and C. Lauter},
        type =         {Research report},
	title = {Fast correct rounding of elementary functions 
             in double precision using double-extended arithmetic},
 	institution = {INRIA},
	year = 2004,
	number = {5137},
	month = mar,
        note =  {Submitted to TOMS.},
       	anote = {Available at \url{www.inria.fr/rrrt/rr-5137.html}}
}

@TECHREPORT{DinGast2004Inria,
	author = { de~Dinechin, F. and Gast, N.},
        type =         {Research report},
	title = {Towards the post-ultimate \texttt{libm}},
 	institution = {INRIA},
	year = 2004,
	number = {5367},
        note =  {Submitted to Arith'17},
	month = nov
}

@Misc{crlibmweb,
  title = 	 {{CR-Libm}, A library of correctly rounded elementary functions in
                    double-precision},
  year = 2004,
  author = {{The Ar{\'en}aire Project}},
  howpublished = {\url{lipforge.ens-lyon.fr/projects/crlibm/}}
}

@InProceedings{DGP04,
  author = {Jean-Guillaume Dumas and Pascal Giorgi and Cl{\'e}ment Pernet},
  title = {{FFPACK}: {F}inite {F}ield {L}inear {A}lgebra {P}ackage},
  booktitle = {Proc. International Symposium on Symbolic and Algebraic 
              Computation, Santander, Spain},
  month = jul,
  day = "4--7",
  year = 2004,
  publisher =    "ACM Press",
  pages=   "119--126",
}


@article{Jea04,
   author ={Claude-Pierre Jeannerod},
   title = {{On matrix perturbations with minimal leading Jordan structure}},
   journal = {Journal of Computational and Applied Mathematics},
   volume = {162(1)},
   pages = "113--132",
   year = 2004
}

@article{KPV04,
   author ={Koiran, P. and Portier, N. and Villard, G.},
   title = {{A rank theorem for Vandermonde matrices}},
   journal = {Linear Algebra and its Applications},
   volume = 378,
   pages = "99--107",
   year = 2004
}

@article{KaVi04,
   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",
   volume = 162,
   number = 1,
   pages = "133--146",
   year = 2004
}

@article{JeVi04,
   author = {Claude-Pierre Jeannerod and Gilles Villard},
   title = "Essentially optimal computation of the inverse of generic
            polynomial matrices",
   journal = "Journal of Complexity",
   note = {\aparaitre},
   url = {dx.doi.org/10.1016/j.jco.2004.03.005}
}

@article{SSV04,
   author ={B. David Saunders and Arne  Storjohann and Gilles  Villard},
   title = {Matrix rank certification},
   journal = "Elect. J. Linear Algebra",
   volume = 11,
   pages = "16--23",
   year = 2004
}



@article{KaVi04-2,
 author = "Kaltofen, E. and Villard, G.",
 title = "On the complexity of computing determinants",
 journal = "{Computational Complexity}",
 note = {\aparaitre}
 }

@article{BLV04,
 author ={Beckermann, B. and Labahn, G. and Villard, G.},
 title = {{Normal forms for general polynomial matrices}},
 journal = "Journal of Symbolic Computation",
 note = {\aparaitre}
 }

@TechReport{DSV04-1,
  author =  {Darte, A. and Schreiber, R. and Villard, G.},
  title = {Lattice based memory allocation},
  type = {Research report},
  institution =  {Laboratoire de l'Informatique du Parall{\'e}lisme},
  year =         {2004},
  number =       {2004-23},
  url =          {www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-23.ps.gz},
  address =      {{\'E}cole Normale Sup{\'e}rieure de Lyon, 46 All{\'e}e
                 d'Italie, 69364 Lyon Cedex 07},
  month = apr
}

@TechReport{StVi04,
  author =  {Storjohann, A. and Villard, G.},
  title = {Computing the rank and a small nullspace basis of a polynomial matrix},
  type = {Research report},
  institution =  {Laboratoire de l'Informatique du Parall{\'e}lisme},
  year =         {2004},
  address =      {{\'E}cole Normale Sup{\'e}rieure de Lyon, 46 All{\'e}e
                 d'Italie, 69364 Lyon Cedex 07}
}

@inproceedings{Vil04,
   author = "Villard, G.",
   title = "{Lattice based memory allocation
             {\em (invited talk)}}",
   booktitle = "{Mathematics of Computer Algebra and Analysis,
                 Waterloo, Ontario, Canada}",
   month = may,
   year = 2004
}


@PhdThesis{Giorgi04,
  author =      {Pascal Giorgi},
  title =      {Algorithmique et arithm{\'e}tique pour l'alg{\`e}bre lin{\'e}aire
                exacte {\`a} partir de la biblioth{\`e}que {L}in{B}ox},
  school =      {{\'E}cole {N}ormale {S}up{\'e}rieure de {Lyon}, Lyon,
                France},
  year = "2004",
  month = dec
}

@techreport{BriMul04,
    author={N.~Brisebarre and J.-M. Muller},
    title={Correctly rounded multiplication by arbitrary precision constants},
    institution={INRIA},
    year={2004},
    month= nov,
    type={Research Report},
    number={5354},
    key={BriMul04},
    note={available at \url{www.inria.fr}, submitted to the 17th {IEEE} Symposium
        on Computer Arithmetic}
}

@inproceedings{BriMul2004,
    author={N.~Brisebarre and J.-M.~Muller},
    title={Functions Approximable by E-Fractions},
    booktitle={Proc. $38$th {IEEE} Conference on Signals, Systems and Computers},
    year={2004},
    month= nov,
    publisher={{IEEE}}
}

@article{BriMulRai2004,
    author={N.~Brisebarre and J.-M.~Muller and S.~Raina},
    title={Accelerating Correctly Rounded Floating-Point Division when the Divisor
        is Known in Advance},
    journal={{IEEE} Transactions on Computers},
    volume={53},
    year={2004},
    pages={1069--1072},
    month= aug,
    number={8},
    key={BriMulRai2004}
}

@techreport{BriMulTis2004,
    author={N.~Brisebarre and J.-M. Muller and A.~Tisserand},
    title={Computing machine-efficient polynomial approximations},
    year={2004},
    number={},
    key={BriMulTis2004},
    note={available at \url{perso.ens-lyon.fr/jean-michel.muller/publications.html}, submitted}
}

@inproceedings{BriMulTis2004bis,
    author={N.~Brisebarre and J.-M.~Muller and A.~Tisserand},
    title={Sparse-Coefficient Polynomial Approximations for Hardware Implementations},
    booktitle={Proc. $38$th {IEEE} Conference on Signals, Systems and Computers},
    year={2004},
    month= nov,
    publisher={{IEEE}}
}

@inproceedings{ErcMul2004,
    author={M.~D.~Ercegovac and J.-M.~Muller},
    title={Complex Square Root with Operand Prescaling (best paper award)},
    booktitle={Proc. $15$th {IEEE} International Conference on Application-Specific Systems,
        Architectures and Processors, Galveston, Texas},
    year={2004},
    month= sep,
    publisher={{IEEE} Computer Society Press}
}

@techreport{KorMul2004,
    author={P.~Kornerup and J.-M.~Muller},
    title={RN-Codings of Numbers: definition and some properties},
    institution={LIP, ENS-Lyon},
    year={2004},
    number={2004-44},
    key={KorMul2004}
}

@article{KorMul2004a,
    author={P.~Kornerup and J.-M.~Muller},
    title={Choosing Starting Values for Certain Newton-Raphson Iterations},
    journal={Theoretical Computer Science},
    note = {\aparaitre}
}

@article{MulNicRob2004,
    author={J.-M.~Muller and J.-L.~Nicolas and X.~Roblot},
    title={Nombre de Solutions dans une Binade de l'Equation $a^2+b^2=c^2+c$ (in French)},
    journal={l'Enseignement Math{\'e}matique},
    volume={50},
    year={2004},
    pages={147--182}
}

@article{PinObeMulBru2004,
    author={J.~A.~Pineiro and S.~F.~Oberman and J.-M.~Muller and J.~D.~Bruguera},
    title={High-Speed Function Approximation using a Minimax Quadratic Interpolator},
    journal={{IEEE} Transactions on Computers},
    note = {\aparaitre}
}


@ARTICLE{DHLMRZ04,
  author =       {Defour, D. and Hanrot, G. and Lef{\`e}vre, 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},
  volume = {37},
  number = {1-4},
  pages = {367--375},
  year = 2004
}


@ARTICLE{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}},
  journal = {Journal of Logic and Algebraic Programming},
  note = {\aparaitre}
}

@ARTICLE{ReRo02,
  author = {Revol, N. and Rouillier, F.},
  title = {Motivations for an Arbitrary Precision Interval Arithmetic
and the MPFI Library},
  journal = {Reliable Computing},
  volume = {11},
  pages = {1--16},
  year = 2005
}

@ARTICLE{BDKMR04,
        AUTHOR             = {Brisebarre, N. and Defour, D. and Kornerup, P. and Muller, J.-M. and Revol, N.},
        TITLE              = {A new range reduction algorithm},
        JOURNAL            = {IEEE Transactions on Computers},
        note = {\aparaitre}
}

@INPROCEEDINGS{GPR04,
  author = {Grimmer, M. and Petras, K. and Revol, N.},
  title = {Multiple Precision Interval Packages: Comparing Different Approaches},
  booktitle = {Lecture Notes in Computer Science},
  volume = 2991,
  pages = {64--90},
  url          = {www.inria.fr/rrrt/rr-4841.html},
  year = {2004}
}

@INPROCEEDINGS{Revol04,
  author = {Revol, N.},
  title = {Convergent linear recurrences (with scalar coefficients) with divergent interval simulations},
  booktitle = {SCAN 2004 (11th GAMM-IMACS International Symposium on Scientific
		Computing, Computer Arithmetic and Validated Numerics), Fukuoka, Japan},
   year = {2004}
}

@MASTERSTHESIS{Dessart04,
        AUTHOR             = {Dessart, N.},
	school = {{\'E}cole Normale Sup{\'e}rieure de Lyon},
	type = {M{\'e}moire de {DEA}},
	address = {Lyon, France},
        TITLE              = {Arithm{\'e}tique par intervalles, 
	                r{\'e}solution de syst{\`e}mes lin{\'e}aires et pr{\'e}cision},
        URL                = {www.ens-lyon.fr/LIP/Pub/Rapports/DEA/DEA2004/DEA2004-04.pdf},
        YEAR               = {2004}
}

@MASTERSTHESIS{Veryat04,
        AUTHOR             = {Veyrat-Charvillon, N.},
	school = {{\'E}cole Normale Sup{\'e}rieure de Lyon},
	type = {M{\'e}moire de {DEA}},
	address = {Lyon, France},
        TITLE              = {Algorithmes de multiplication pour circuits asynchrones},
        URL                = {www.ens-lyon.fr/LIP/Pub/Rapports/DEA/DEA2004/DEA2004-02.pdf},
        YEAR               = {2004}
}

@TechReport{DetDin2004LIP,
  author =       {Detrey, J. and de~Dinechin, F.},
  title =        {Table-based polynomials for fast hardware function
evaluation},
  institution =  {LIP},
  year =         {2004},
  month =        nov,
  number =       {RR2004-52},
  note =         {Submitted to Arith'17.},
  location =
{www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-52.ps.gz}
}

@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},
  volume =	 5,
  number =	 {2-3},
  pages =	 {237-246},
  year =	 2004,
  crindex =	 {Fichier},
  url = {perso.ens-lyon.fr/marc.daumas/SoftArith/BolDau04a.pdf},
  url.alt = {www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10009-003-0120-y}
}

@Article{BolDau04b,
  author =	 {Sylvie Boldo and Marc Daumas},
  title =	 {A simple test qualifying the accuracy of {H}orner's
                  rule for polynomials},
  journal =	 {Numerical Algorithms},
  year =	 2004,
  month =        dec,
  volume =       37,
  number =       1,
  pages =        {45-60}
}


@InProceedings{Bol04,
  author = 	 {Sylvie Boldo},
  title = 	 {Bridging the gap between formal specification and
  bit-level floating-point arithmetic}, 
  booktitle =    {Proceedings of the 6th Conference on Real Numbers
  and Computers},
  pages = 	 {22-36},
  year = 	 {2004},
  address =      {Schloss Dagstuhl, Germany},
  month = 	 nov
}

@techreport{BolMel05,
	author = {Sylvie Boldo and Guillaume Melquiond},
        type =         {Research report},
	title = {When double rounding is odd},
        institution =  {Laboratoire de l'Informatique du Parall{\'e}lisme},
        address =      {{\'E}cole Normale Sup{\'e}rieure de Lyon, 46 All{\'e}e
                 d'Italie, 69364 Lyon Cedex 07},
	year = 2004,
	number = {2004--48},
	month = nov
}

@PhdThesis{Bol04T,
  author = 	 {Sylvie Boldo},
  title = 	 {Preuves formelles en arithm{\'e}tiques {\`a} virgule flottante},
  school = 	 {{\'E}cole {N}ormale {S}up{\'e}rieure de {Lyon}, Lyon,
                France},
  year = 	 {2004},
  month = 	 nov
}

@inproceedings{DauMel04,
        author = "Marc Daumas and Guillaume Melquiond",
        address = "Schloss Dagstuhl, Germany",
        booktitle = "6th Conference on Real Numbers and Computers",
        title = "Generating formally certified bounds on values and round-off errors",
        pages = "55--70",
        year = "2004",
        month = nov
}

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


@Misc{imacs1,
  title = 	 {Computation of the error functions erf and erfc in arbitrary precision with correct rounding},
  year = 2004,
  author = {Chevillard, S. and Revol, N.},
  howpublished = {Submitted to the 17th IMACS World Congress on
    Scientific Computation, Applied Mathematics and Simulation, Paris, July 2005}
}

@Misc{imacs2,
  title = 	 {Bounding roundoff errors in Taylor models arithmetic},
  year = 2004,
  author = {Revol, N.},
  howpublished = {Submitted to the 17th IMACS World Congress on
    Scientific Computation, Applied Mathematics and Simulation, Paris, July 2005}
}

@Misc{imacs3,
  title = 	 {Formal certification of arithmetic filters for geometric predicates},
  year = 2004,
  author = {Guillaume Melquiond and Sylvain Pion},
  howpublished = {Submitted to the 17th IMACS World Congress on
    Scientific Computation, Applied Mathematics and Simulation, Paris, July 2005}
}