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

@TECHREPORT{BLV02,
        AUTHOR             = {Beckermann, B. and Labahn, G. and Villard, G.},
        MONTH              = jan,
        NUMBER             = {LIP 2002-1},
        TITLE              = {{Normal forms for general polynomial matrices}},
        YEAR               = {2002},
	INSTITUTION        = {LIP},
        url = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2002/RR2002-1.ps.Z}
}

@TECHREPORT{rr4495,
        AUTHOR             = {Beuchat, J.-L.},
        INSTITUTION        = {Inria},
        MONTH              = jul,
        NUMBER             = {4495},
        TITLE              = {{H}igh {T}hroughput {I}mplementations of the {\sc Rc6} {B}lock {C}ipher {U}sing {V}irtex-{E} and {V}irtex-{II} {D}evices},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4495.html}
}

@TECHREPORT{rr2002-37,
        AUTHOR             = {Beuchat, J.-L.},
        NUMBER             = {LIP 2002-37},
        TITLE              = {{S}ome {M}odular {A}dders and {M}ultipliers for {F}ield {P}rogrammable {G}ate {A}rrays},
        YEAR               = {2002},
	INSTITUTION        = {LIP},
        url = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2002/RR2002-37.ps.Z}
}

@TECHREPORT{rr4558,
        AUTHOR             = {Beuchat, J.-L.},
        INSTITUTION        = {Inria},
        MONTH              = sep,
        NUMBER             = {4558},
        TITLE              = {{M}odular {M}ultiplication for {FPGA} {I}mplementation of the {\sc Idea} {B}lock {C} ipher},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4558.html}
}

@ARTICLE{JLBtsi_sympa6,
        AUTHOR             = {Beuchat, J.-L. and Haenni, J.-O. and Fabio Restrepo, H. and Teuscher, C. and G\'omez, F. J. and Sanchez, E.},
        JOURNAL            = {Technique et science informatiques},
        NUMBER             = {2},
        PAGES              = {203--224},
        TITLE              = {Approches matérielles et logicielles de l'algorithme de chiffrement {\sc Idea}},
        VOLUME             = {21},
        YEAR               = {2002}
}

@INPROCEEDINGS{BeuTis02sympa,
        AUTHOR             = {Beuchat, J.-L. and Tisserand, A.},
        ADDRESS            = {Hamamet, Tunisie},
        BOOKTITLE          = {8ème SYMPosium en Architectures nouvelles de machines},
        MONTH              = apr,
        PAGES              = {267--274},
        TITLE              = {Opérateur en-ligne sur {\sc Fpga} pour l'implantation de quelques fonctions élémentaires},
        YEAR               = {2002}
}

@ARTICLE{BeuTis02tsi,
        AUTHOR             = {Beuchat, J.-L. and Tisserand, A.},
        JOURNAL            = {Technique et science informatique},
        PUBLISHER               = {Herm\`es},
        TITLE              = {Évaluation polynomiale en ligne de fonctions élémentaires sur {\sc Fpga}},
        NOTE               = {to appear}
}

@INPROCEEDINGS{BeuTis02fpl,
        AUTHOR             = {Beuchat, J.-L. and Tisserand, A.},
        ADDRESS            = {Montpellier, France},
        BOOKTITLE          = {12th International Conference on Field-Programmable Logic and Applications ({\sc Fpl})},
        EDITOR             = {M. Glesner and P. Zipf and M. Renovell},
        MONTH              = sep,
        PAGES              = {513--522},
        PUBLISHER          = {Springer},
        SERIES             = {Lecture Notes in Computer Science ({\sc Lncs})},
        TITLE              = {Small Multiplier-based Multiplication and Division Operators for Virtex-{II} Devices},
        VOLUME             = {2438},
        YEAR               = {2002}
}

@TECHREPORT{rr4557,
        AUTHOR             = {Beuchat, J.-L. and Tisserand, A.},
        INSTITUTION        = {Inria},
        MONTH              = sep,
        NUMBER             = {4557},
        TITLE              = {\'Evaluation polynomiale en ligne de fonctions \'el\'ementaires sur {\sc Fpga}},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4557.html}
}

@TECHREPORT{rr4494,
        AUTHOR             = {Beuchat, J.-L. and Tisserand, A.},
        INSTITUTION        = {Inria},
        MONTH              = jul,
        NUMBER             = {4494},
        TITLE              = {{S}mall {M}ultiplier-based {M}ultiplication and {D}ivision {O}perators for {V}ir tex-{II} {D}evices},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4494.html}
}

@TECHREPORT{rr4473,
        AUTHOR             = {Boldo, S. and Daumas, M.},
        INSTITUTION        = {Inria},
        NUMBER             = {4473},
        TITLE              = {Properties of the subtraction valid for any floating point system.},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4473.html}
}

@INPROCEEDINGS{BolDau02a,
        AUTHOR             = {Boldo, S. and Daumas, M.},
        ADDRESS            = {M{\'a}laga, Spain},
        BOOKTITLE          = {7th International Workshop on Formal Methods for Industrial Critical Systems},
        PAGES              = {137-149},
        TITLE              = {Properties of the subtraction valid for any floating point system},
        YEAR               = {2002},
        url = {http://www.inrialpes.fr/vasy/fmics/workshop-7/proceedings.pdf}
}

@INPROCEEDINGS{BolDau02b,
        AUTHOR             = {Boldo, S. and Daumas, M.},
        ADDRESS            = {Paris, France},
        BOOKTITLE          = {SCAN'2002},
        TITLE              = {Faithful rounding without fused multiply and accumulate},
        YEAR               = {2002},
        url = {http://scan2002.lip6.fr/abstracts/boldo.pdf}
}

@TECHREPORT{rr-4644,
        AUTHOR             = {Boldo, S. and Daumas, M.},
        INSTITUTION        = {Inria},
        TITLE              = {Necessary and sufficient conditions for exact floating-point operations},
        YEAR               = {2002},
        NUMBER             = {4644},
        url = {http://http.inria.fr/rrrt/rr-4644.html}
}

@INPROCEEDINGS{BouTis02sympa,
        AUTHOR             = {Boullis, N. and Tisserand, A.},
        ADDRESS            = {Hamamet, Tunisie},
        BOOKTITLE          = {8ème SYMPosium en Architectures nouvelles de machines},
        MONTH              = apr,
        PAGES              = {283--290},
        TITLE              = {Génération automatique d'architectures de calcul pour des opérations linéaires~: application à l'{IDCT} sur {FPGA}},
        YEAR               = {2002}
}

@TECHREPORT{rr4486,
        AUTHOR             = {Boullis, N. and Tisserand, A.},
        INSTITUTION        = {Inria},
        MONTH              = nov,
        NUMBER             = {4486},
        TITLE              = {{G\'en\'eration automatique d'architectures de calcul pour des op\'erations lin\'eaires : application \`a l'{\sc Idct} sur {\sc Fpga}}},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4486.html}
}

@ARTICLE{CEKSTV01-2,
        AUTHOR             = {Chen, L. and Eberly, W. and Kaltofen, E. and Saunders, B.D. and Turner, W.J. and Villard, G.},
        JOURNAL            = {Linear Algebra and its Applications},
        PAGES              = {119--146},
        TITLE              = {{Efficient matrix preconditioners for black box linear algebra}},
        VOLUME             = {343-344},
        YEAR               = {2002}
}

@TECHREPORT{rr2002-38,
        AUTHOR             = {Defour, D.},
        NUMBER             = {LIP 2002-38},
        TITLE              = {{Cache-Optimised Methods for the Evaluation of Elementary Functions}},
        YEAR               = {2002},
	INSTITUTION        = {LIP},
        url = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2002/RR2002-38.ps.Z}
}

@TECHREPORT{rr2002-08,
        AUTHOR             = {Defour, D. and de Dinechin, F.},
        MONTH              = feb,
        NUMBER             = {LIP 2002-8},
        TITLE              = {{Software Carry-Save for Fast Multiple-Precision Algorithms}},
        YEAR               = {2002},
	INSTITUTION        = {LIP},
        url = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2002/RR2002-8.ps.Z}
}

@TECHREPORT{rr4637,
        AUTHOR             = {Defour, D. and de Dinechin, F. and Muller, J.-M.},
        INSTITUTION        = {Inria},
        NUMBER             = {4637},
        TITLE              = {A new scheme for table-based evaluation of functions},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4637.html}
}

@INPROCEEDINGS{DefDinMul2002,
        AUTHOR             = {Defour, D. and de Dinechin, F. and Muller, J.-M.},
        BOOKTITLE          = {36th Conference on signals, systems and computers},
	ADDRESS            = {Asilomar, Pacific Grove, California, USA},
        KEY                = {DefDinMul2002},
        PUBLISHER          = {{IEEE} Computer Society Press},
        TITLE              = {A new scheme for table-based evaluation of functions},
        YEAR               = {2002},
	MONTH              = nov,
        LOCATION           = {Pacific Grove, California}
}

@INPROCEEDINGS{DefDin,
        AUTHOR             = {Defour, D. and de~Dinechin, F.},
        ADDRESS            = {Beijing, China},
        BOOKTITLE          = {{35th International Congress of Mathematical Software (ICMS 2002)}},
        EDITOR             = {A. M. Cohen and X.-S. Gao and N. Takayama},
        PUBLISHER          = {World Scientific},
        NOTE               = {Updated version of LIP research report 2002-08},
        TITLE              = {Software carry-save for fast multiple-precision algorithms},
	PAGES              = {29--39},
	MONTH              = aug,
        YEAR               = {2002}
}

@INPROCEEDINGS{DinDet,
        AUTHOR             = {de~Dinechin, F. and Detrey, J.},
        ADDRESS            = {Fort Lauderdale, Florida},
        BOOKTITLE          = {IEEE Reconfigurable Architecture Workshop, International Parallel and Distributed Symposium},
        MONTH              = Apr,
        NOTE               = {Updated version of LIP research report 2001-44},
        TITLE              = {Multipartite Tables in {JBits} for the Evaluation of Functions on FPGAs},
        YEAR               = {2002}
}

@INPROCEEDINGS{Dinechin2002d,
        AUTHOR             = {de~Dinechin, F. and Risset, T. and Manjunathaiah, M and Spivey, M},
        ADDRESS            = {Marseille, France},
        BOOKTITLE          = {Forum on Design Languages},
        MONTH              = Sep,
        TITLE              = {Design of highly parallel architectures with Alpha and Handel},
        YEAR               = {2002}
}

@INPROCEEDINGS{Linbox02,
        AUTHOR             = {Dumas, J.-G. and Gautier, T. and Giesbrecht, M. and Giorgi, P. and Hovinen, B. and Kaltofen, E. and Saunders, B.D. and Turner, W.J. and Villard, G.},
        BOOKTITLE          = {{35th International Congress of Mathematical Software (ICMS 2002)}},
        EDITOR             = {A. M. Cohen and X.-S. Gao and N. Takayama},
        PUBLISHER          = {World Scientific},
        ADDRESS            = {Beijing, China},
        PAGES              = {40--50},
        TITLE              = {LinBox: A Generic Library for Exact Linear Algebra},
	MONTH              = aug,
        YEAR               = {2002}
}

@TECHREPORT{rr2002-15,
        AUTHOR             = {Dumas, J.-G. and Gautier, T. and Giesbrecht, M. and Giorgi, P. and Hovinen, P. and Kaltofen, E. and Saunders, B.D. and Turner, W.J. and Villard, G.},
        NUMBER             = {LIP 2002-15},
        TITLE              = {{LinBox: A Generic Library for Exact Linear Algebra}},
        YEAR               = {2002},
	INSTITUTION        = {LIP},
        url = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2002/RR2002-15.ps.Z}
}

@INPROCEEDINGS{DuVi02,
        AUTHOR             = {Dumas, J.-G. and Villard, G.},
        BOOKTITLE          = {{CASC'2002, The Fifth International Workshop on Computer Algebra in Scientific Computing}}, 
	ADDRESS            = {Big Yalta, Crimea, Ukraine},
        PUBLISHER          = {Springer-Verlag},
        TITLE              = {Computing the rank of large sparse matrices over finite fields},
        YEAR               = {2002}
}

@INCOLLECTION{GHRSV02,
        AUTHOR             = {Gautier, T. and Hong, H. and Roch, J.L. and Schreiner, W. and Villard, G.},
        BOOKTITLE          = {{Computer Algebra Handbook}},
        EDITOR             = {Grabmeier, J. and Kaltofen, E. and Weispfenning, V.},
        PAGES              = {146-150},
        PUBLISHER          = {{Springer-Verlag, Heidelberg, Germany}},
        TITLE              = {{Parallel computer algebra systems}},
        YEAR               = {2002}
}

@INCOLLECTION{GSV02,
        AUTHOR             = {Giesbrecht, M. and Storjohann, A. and Villard, G.},
        BOOKTITLE          = {{Computer Algebra Handbook}},
        EDITOR             = {Grabmeier, J. and Kaltofen, E. and Weispfenning, V.},
        PAGES              = {39-41},
        PUBLISHER          = {{Springer-Verlag, Heidelberg, Germany}},
        TITLE              = {{Algorithms for matrix canonical forms}},
        YEAR               = {2002}
}

@INPROCEEDINGS{Jea2002a,
        AUTHOR             = {Jeannerod, C.-P.},
        BOOKTITLE          = {International Symposium on Symbolic and Algebraic Computation (ISSAC'02)},
	ADDRESS            = {Lille, France},
        EDITOR             = {T. Mora},
        PAGES              = {131--137},
        PUBLISHER          = {ACM Press},
        TITLE              = {A reduced form for perturbed matrix polynomials},
        YEAR               = {2002},
	MONTH              = jul,
        ANNOTE             = {proceedings issac'02 / www.ens-lyon.fr/~cpjeanne},
}

@ARTICLE{Jea2002b,
        AUTHOR             = {Jeannerod, C.-P.},
        JOURNAL            = {Journal of Computational and Applied Mathematics},
        NOTE               = {to appear},
        TITLE              = {On Matrix Perturbations with Minimal Leading {Jordan} structure},
        YEAR               = {2003},
        ANNOTE             = {www.ens-lyon.fr/~cpjeanne}
}

@INPROCEEDINGS{JL2002a,
        AUTHOR             = {Jeannerod, C.-P. and Labahn, G.},
        BOOKTITLE          = {{35th International Congress of Mathematical Software (ICMS 2002)}},
        ADDRESS            = {Beijing, China},
        PAGES              = {61--71},
        EDITOR             = {A. M. Cohen and X.-S. Gao and N. Takayama},
        PUBLISHER          = {World Scientific},
        TITLE              = {The Snap package for arithmetic with numeric polynomials},
	MONTH              = aug,
        YEAR               = {2002},
        ANNOTE             = {www.ens-lyon.fr/~cpjeanne},
        OPTaddress = {Beijing},
}

@TECHREPORT{JL2002b,
        AUTHOR             = {Jeannerod, C.-P. and Labahn, G.},
        INSTITUTION        = {University of Waterloo},
        MONTH              = {April},
        NUMBER             = {CS-2002-22},
        TITLE              = {SNAP user's guide},
        YEAR               = {2002}
}

@TECHREPORT{JV2002,
        AUTHOR             = {Jeannerod, C.-P. and Villard, G.},
        INSTITUTION        = {Inria},
        MONTH              = {December},
        TITLE              = {Inversion of generic matrix polynomials},
        YEAR               = {2002}
}

@ARTICLE{KaVi02,
        AUTHOR             = {Kaltofen, E. and Villard, G.},
        JOURNAL            = {Journal of Computational and Applied Mathematics},
        NOTE               = {to appear},
        TITLE              = {Computing the sign or the value of the determinant of an integer matrix, a complexity survey},
        YEAR               - {2003}
}

@TECHREPORT{rr2002-02,
        AUTHOR             = {Kaltofen, E. and Villard, G.},
        INSTITUTION        = {Inria},
        MONTH              = jan,
        NUMBER             = {LIP 2002-1},
        TITLE              = {{Computing the sign or the value of the determinant}},
        YEAR               = {2002},
	INSTITUTION        = {LIP},
        url = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2002/RR2002-2.ps.Z}
}

@ARTICLE{LefevreMuller2002,
        AUTHOR             = {Lef\`evre, V. and Muller, J.-M.},
        JOURNAL            = {Journal of {\sc Vlsi} Signal Processing},
        KEY                = {LefevreMuller2002},
        NOTE               = {to appear},
        TITLE              = {On-the-Fly Range Reduction}
}

@TECHREPORT{Muller2002-1,
        AUTHOR             = {Muller, J.-M.},
        TITLE              = {{Accelerating Floating-Point Division when the Divisor is known in Advance}},
        KEY                = {Muller2002-1},
        INSTITUTION        = {Inria},
        NUMBER             = {4532},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4532.html}
}

@TECHREPORT{Muller2002-2,
        AUTHOR             = {Muller, J.-M.},
        INSTITUTION        = {Inria},
        KEY                = {Muller2002-2},
        NUMBER             = {4593},
        TITLE              = {``Partially rounded'' Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4593.html}
}

@INPROCEEDINGS{Muller2002-3,
        AUTHOR             = {Muller, J.-M.},
        BOOKTITLE          = {SCAN'2002},
        KEY                = {Muller2002-3},
        TITLE              = {Proposals for a Specification of the Elementary Functions},
        YEAR               = {2002},
	URL                = {http://scan2002.lip6.fr/abstracts/muller.pdf},
        ADDRESS            = {Paris, France}
}

@ARTICLE{Rev01,
        AUTHOR             = {Revol, N.},
        JOURNAL            = {Numerical Algorithms},
        NOTE               = {to appear},
        TITLE              = {Newton iteration using multiple precision interval arithmetic: the univariate case}
}

@INPROCEEDINGS{Revol02siam-opt,
        AUTHOR             = {Revol, N.},
        BOOKTITLE          = {SIAM Conference on Optimization},
	ADDRESS            = {Toronto, Canada},
        TITLE              = {Reliable and accurate solutions of linear and nonlinear systems},
        YEAR               = {2002}
}

@TECHREPORT{rr-4498,
        AUTHOR             = {Revol, N. and Rouillier, F.},
        TITLE              = {Motivations for an arbitrary precision interval arithmetic and the MPFI library},
        INSTITUTION        = {Inria},
        NUMBER             = {4498},
        YEAR               = {2002},
        url = {http://http.inria.fr/rrrt/rr-4498.html}
}

@INPROCEEDINGS{RR02scan,
        AUTHOR             = {Revol, N. and Rouillier, F.},
        BOOKTITLE          = {SCAN'2002},
        ADDRESS            = {Paris, France},
        TITLE              = {MPFI: a library for arbitrary precision interval arithmetic},
	URL                = {http://scan2002.lip6.fr/abstracts/revolrouillier.pdf},
        YEAR               = {2002}
}

@INPROCEEDINGS{RR02vc,
        AUTHOR             = {Revol, N. and Rouillier, F.},
        BOOKTITLE          = {Validated Computing}, 
	ADDRESS            = {Toronto, Canada},
        TITLE              = {Motivations for an arbitrary precision interval arithmetic and the MPFI library},
        YEAR               = {2002}
}

@ARTICLE{SSV02,
        AUTHOR             = {Saunders, B.D and Storjohann, A. and Villard, G.},
        JOURNAL            = {Elect. J. Linear Algebra},
        NOTE               = {to appear},
        TITLE              = {Matrix rank certification}
}

@INPROCEEDINGS{Vil02-3,
        AUTHOR             = {Villard, G.},
        BOOKTITLE          = {{Workshop on Complexity, Foundations of Computational Mathematics FoCM'02}},
	ADDRESS            = {Minneapolis, Minnesota, USA},
        MONTH              = aug,
        TITLE              = {{Exact computation of the determinant and of the inverse of a matrix}},
        YEAR               = {2002}
}

@TECHREPORT{Vil03-1,
        AUTHOR             = {Villard, G.},
        TITLE              = {{Algorithmique en algèbre linéaire exacte}},
        TYPE               = {Mémoire d'habilitation à diriger des recherches, version préliminaire, novembre},
        YEAR               = {2002}
}

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

@PROCEEDINGS{ChesFrouMul2002,
        EDITOR             = {Chesneaux, J.-M. and Frougny, C. and Muller, J.-M.},
        KEY                = {ChesFrouMul2002},
        MONTH              = may,
        TITLE              = {Special issue ``Real Numbers and Computers'' of Theoretical Computer Science},
        VOLUME             = {279},
        YEAR               = {2002}
}