2002 Bibliography of the Arenaire Team

Books and Monographs

1. "Special issue " Real Numbers and Computers " of Theoretical Computer Science",
   editors: J.-M. Chesneaux, C. Frougny, J.-M. Muller.
   279, May 2002.


2. "Special issue on " Linear Algebra and Arithmetic " of the Journal of Computational and Applied Mathematics",
   editors: S. El Hajji, N. Revol, P. Van Dooren.
   2003, to appear.

Articles in Referred Journals and Book Chapters

1. J.-L. Beuchat, J.-O. Haenni, H. Fabio Restrepo, C. Teuscher, F. J. Gómez, E. Sanchez.
   "Approches matérielles et logicielles de l'algorithme de chiffrement IDEA ",
   Technique et science informatiques, 2, 21, 2002, p. 203-224.


2. J.-L. Beuchat, A. Tisserand.
   "Évaluation polynomiale en ligne de fonctions élémentaires sur Fpga",
   Technique et science informatique, to appear.


3. L. Chen, W. Eberly, E. Kaltofen, B. Saunders, W. Turner, G. Villard.
   "Efficient matrix preconditioners for black box linear algebra",
   Linear Algebra and its Applications, 343-344, 2002, p. 119-146.


4. T. Gautier, H. Hong, J. Roch, W. Schreiner, G. Villard.
   "Parallel computer algebra systems",
   editors : J. Grabmeier, E. Kaltofen, V. Weispfenning.
   in : Computer Algebra Handbook,
   Springer-Verlag, Heidelberg, Germany, 2002, p. 146-150.


5. M. Giesbrecht, A. Storjohann, G. Villard.
   "Algorithms for matrix canonical forms",
   editors : J. Grabmeier, E. Kaltofen, V. Weispfenning.
   in : Computer Algebra Handbook,
   Springer-Verlag, Heidelberg, Germany, 2002, p. 39-41.


6. C.-P. Jeannerod.
   "On Matrix Perturbations with Minimal Leading Jordan structure",
   Journal of Computational and Applied Mathematics, 2003, to appear.


7. E. Kaltofen, G. Villard.
   "Computing the sign or the value of the determinant of an integer matrix, a complexity survey",
   Journal of Computational and Applied Mathematics, 2003, to appear.


8. V. Lefèvre, J.-M. Muller.
   "On-the-Fly Range Reduction",
   Journal of VLSI Signal Processing, to appear.


9. N. Revol.
   "Newton iteration using multiple precision interval arithmetic : the univariate case",
   Numerical Algorithms, to appear.


10. B. Saunders, A. Storjohann, G. Villard.
    "Matrix rank certification",
    Elect. J. Linear Algebra, to appear.

Publications in Conferences and Workshops

1. J.-L. Beuchat, A. Tisserand.
   "Opérateur en-ligne sur Fpga pour l'implantation de quelques fonctions élémentaires",
   in : 8ème SYMPosium en Architectures nouvelles de machines,
   p. 267-274, Hamamet, Tunisie, April 2002.


2. J.-L. Beuchat, A. Tisserand.
   "Small Multiplier-based Multiplication and Division Operators for Virtex-II Devices",
   in : 12th International Conference on Field-Programmable Logic and Applications (Fpl ),
   Lecture Notes in Computer Science (Lncs ), 2438, Springer, editors : M. Glesner, P. Zipf, M. Renovell.
   p. 513-522, Montpellier, France, September 2002.


3. S. Boldo, M. Daumas.
   "Faithful rounding without fused multiply and accumulate",
   in : SCAN'2002,
   Paris, France, 2002,
   http://scan2002.lip6.fr/abstracts/boldo.pdf.


4. S. Boldo, M. Daumas.
   "Properties of the subtraction valid for any floating point system",
   in : 7th International Workshop on Formal Methods for Industrial Critical Systems,
   p. 137-149, Málaga, Spain, 2002,
   http://www.inrialpes.fr/vasy/fmics/workshop-7/proceedings.pdf.


5. N. Boullis, A. Tisserand.
   "Génération automatique d'architectures de calcul pour des opérations linéaires : application à l'IDCT sur FPGA",
   in : 8ème SYMPosium en Architectures nouvelles de machines,
   p. 283-290, Hamamet, Tunisie, Avril 2002.


6. D. Defour, F. de Dinechin, J.-M. Muller.
   "A new scheme for table-based evaluation of functions",
   in : 36th Conference on signals, systems and computers,
   IEEE Computer Society Press, Asilomar, Pacific Grove, California, USA, November 2002.


7. D. Defour, F. de Dinechin.
   "Software carry-save for fast multiple-precision algorithms",
   in : 35th International Congress of Mathematical Software (ICMS 2002),
   World Scientific, editors: A. M. Cohen, X.-S. Gao, N. Takayama.
   p. 29-39, Beijing, China, August 2002, Updated version of LIP research report 2002-08.


8. F. de Dinechin, J. Detrey.
   "Multipartite Tables in JBits for the Evaluation of Functions on FPGAs",
   in : IEEE Reconfigurable Architecture Workshop, International Parallel and Distributed Symposium,
   Fort Lauderdale, Florida, April 2002, Updated version of LIP research report 2001-44.


9. F. de Dinechin, T. Risset, M. Manjunathaiah, M. Spivey.
   "Design of highly parallel architectures with Alpha and Handel",
   in : Forum on Design Languages,
   Marseille, France, September 2002.


10. J.-G. Dumas, T. Gautier, M. Giesbrecht, P. Giorgi, B. Hovinen, E. Kaltofen, B. Saunders, W. Turner, G. Villard.
    "LinBox : A Generic Library for Exact Linear Algebra",
    in : 35th International Congress of Mathematical Software (ICMS 2002),
    World Scientific, éditeur : A. M. Cohen, X.-S. Gao, N. Takayama.
    p. 40-50, Beijing, China, August 2002.


11. J.-G. Dumas, G. Villard.
    "Computing the rank of large sparse matrices over finite fields",
    in : CASC'2002, The Fifth International Workshop on Computer Algebra in Scientific Computing,
    Springer-Verlag, Big Yalta, Crimea, Ukraine, 2002.


12. C.-P. Jeannerod.
    "A reduced form for perturbed matrix polynomials",
    in : International Symposium on Symbolic and Algebraic Computation (ISSAC'02),
    ACM Press, editor : T. Mora.
    p. 131-137, Lille, France, July 2002.


13. C.-P. Jeannerod, G. Labahn.
    "The Snap package for arithmetic with numeric polynomials",
    in : 35th International Congress of Mathematical Software (ICMS 2002),
    World Scientific, editors : A. M. Cohen, X.-S. Gao, N. Takayama.
    p. 61-71, Beijing, China, August 2002.


14. J.-M. Muller.
    "Proposals for a Specification of the Elementary Functions",
    in : SCAN'2002,
    Paris, France, 2002,
    http://scan2002.lip6.fr/abstracts/muller.pdf.


15. N. Revol.
    "Reliable and accurate solutions of linear and nonlinear systems",
    in : SIAM Conference on Optimization,
    Toronto, Canada, 2002.


16. N. Revol, F. Rouillier.
    "Motivations for an arbitrary precision interval arithmetic and the MPFI library",
    in : Validated Computing,
    Toronto, Canada, 2002.


17. N. Revol, F. Rouillier.
    "MPFI : a library for arbitrary precision interval arithmetic",
    in : SCAN'2002,
    Paris, France, 2002,
    http://scan2002.lip6.fr/abstracts/revolrouillier.pdf.


18. G. Villard.
    "Exact computation of the determinant and of the inverse of a matrix",
    in : Workshop on Complexity, Foundations of Computational Mathematics FoCM'02,
    Minneapolis, Minnesota, USA, August 2002.

Internal Reports

1. B. Beckermann, G. Labahn, G. Villard.
   "Normal forms for general polynomial matrices",
   research report, LIP 2002-1, LIP, January 2002.


2. J.-L. Beuchat.
   "High Throughput Implementations of the Rc6 Block Cipher Using Virtex-E and Virtex-II Devices",
   research report, 4495, Inria, juillet, 2002,
   http://www.inria.fr/rrrt/rr-4495.html.


3. J.-L. Beuchat.
   "Modular Multiplication for FPGA Implementation of the Idea Block Cipher",
   research report, 4558, Inria, September 2002,
   http://www.inria.fr/rrrt/rr-4558.html.


4. J.-L. Beuchat.
   "Some Modular Adders and Multipliers for Field Programmable Gate Arrays",
   research report, LIP 2002-37, LIP, 2002.


5. J.-L. Beuchat, A. Tisserand.
   "Évaluation polynomiale en ligne de fonctions élémentaires sur Fpga ",
   research report, 4557, Inria, September 2002,
   http://www.inria.fr/rrrt/rr-4557.html.


6. J.-L. Beuchat, A. Tisserand.
   "Small Multiplier-based Multiplication and Division Operators for Vir tex-II Devices",
   research report, 4494, Inria, July 2002,
   http://www.inria.fr/rrrt/rr-4494.html.


7. S. Boldo, M. Daumas.
   "Necessary and sufficient conditions for exact floating-point operations",
   research report, 4644, Inria, 2002,
   http://www.inria.fr/rrrt/rr-4644.html.


8. S. Boldo, M. Daumas.
   "Properties of the subtraction valid for any floating point system.",
   research report, 4473, Inria, 2002,
   http://www.inria.fr/rrrt/rr-4473.html.


9. N. Boullis, A. Tisserand.
   "Génération automatique d'architectures de calcul pour des opérations linéaires : application à l'Idct sur Fpga ",
   research report, 4486, Inria, November 2002,
   http://www.inria.fr/rrrt/rr-4486.html.


10. D. Defour, F. de Dinechin.
    "Software Carry-Save for Fast Multiple-Precision Algorithms",
    research report, LIP 2002-8, LIP, February 2002.


11. D. Defour, F. de Dinechin, J.-M. Muller.
    "A new scheme for table-based evaluation of functions",
    research report, 4637, Inria, 2002,
    http://www.inria.fr/rrrt/rr-4637.html.


12. D. Defour.
    "Cache-Optimised Methods for the Evaluation of Elementary Functions",
    research report, LIP 2002-38, LIP, 2002.


13. J.-G. Dumas, T. Gautier, M. Giesbrecht, P. Giorgi, P. Hovinen, E. Kaltofen, B. Saunders, W. Turner, G. Villard.
    "LinBox : A Generic Library for Exact Linear Algebra",
    research report, LIP 2002-15, LIP, 2002.


14. C.-P. Jeannerod, G. Labahn.
    "SNAP user's guide",
    research report, CS-2002-22, University of Waterloo, April 2002.


15. C.-P. Jeannerod, G. Villard.
    "Inversion of generic matrix polynomials",
    research report, Inria, December 2002.


16. E. Kaltofen, G. Villard.
    "Computing the sign or the value of the determinant",
    research report, LIP 2002-1, Inria, LIP, January 2002.


17. J.-M. Muller.
    "" Partially rounded " Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods",
    research report, 4593, Inria, 2002,
    http://www.inria.fr/rrrt/rr-4593.html.


18. J.-M. Muller.
    "Accelerating Floating-Point Division when the Divisor is known in Advance",
    research report, 4532, Inria, 2002,
    http://www.inria.fr/rrrt/rr-4532.html.


19. N. Revol, F. Rouillier.
    "Motivations for an arbitrary precision interval arithmetic and the MPFI library",
    research report, 4498, Inria, 2002,
    http://www.inria.fr/rrrt/rr-4498.html.


20. G. Villard.
    "Algorithmique en algèbre linéaire exacte",
    Mémoire d'habilitation à diriger des recherches, preliminary version, November 2002.