Publications


Thèse

  1. Fiabilité des algorithmes numériques : pseudosolutions structurées et précision
    Thèse de doctorat, Université de Perpignan, Novembre 2005 --- Transparents

Chapitres de livres, d'encyclopédies

  1. (avec Jean-Marie Chesneaux et Fabienne Jézéquel) Rounding Errors
    Encyclopedia of Computer Science and Engineering, volume 4, Wiley, 2009, p.2480-2494

Revues internationales avec comité de lecture

  1. New (avec Siegfried M. Rump) Verified error bounds for multiple roots of systems of nonlinear equations
    À paraître dans Numerical Algorithms, 2010
  2. (avec Philippe Langlois et Nicolas Louvet) Algorithms for accurate, validated and fast polynomial evaluation
    Japan J. Indust. Appl. Math., 26 (2009), no. 2-3, 191-214
  3. (avec Jean-Luc Lamotte et Diep Nguyen Hong) Extended precision with a rounding mode toward zero environment. Application on the Cell processor
    Int. J. Reliability and Safety 3 (2009), no. 1/2/3, 153--173 (special issue on "Reliable Engineering Computing")
  4. Accurate Floating Point Product and Exponentiation
    IEEE Transactions on Computers 58 (2009), no. 7, 994--1000
  5. Accurate simple zeros of polynomials in floating point arithmetic
    Comput. Math. Appl. 56 (2008), no. 4, 1114--1120
  6. Some topological and geometric properties of pseudozero set
    Appl. Math. E-Notes 8 (2008), 98--108
  7. Pseudozero Set of Real Multivariate Polynomials
    Math.comput.sci. 1 (2007), no. 2, 337--352
  8. (avec Philippe Langlois) Real and complex pseudozero sets for polynomials with applications
    Theor. Inform. Appl. 41 (2007), no. 1, 45--56 (Special Issue: Real Numbers)
  9. (avec Françoise Tisseur) Structured Condition Numbers and Backward Errors in Scalar Product Spaces
    Electron. J. Linear Algebra 15 (2006), 159--177
  10. A note on structured pseudospectra
    J. Comput. Appl. Math. 191 (2006), no. 1, 68--76
  11. A note on a nearest polynomial with a given root
    SIGSAM Bull. 39 (2005), no. 2, 53--60
  12. Computation of pseudozero abscissa
    An. Univ. Timişoara Ser. Mat.-Inform, 42 (2004), Special issue, 115--128

Actes de conférences internationales avec comité de lecture

  1. (avec Philippe Trébuchet) A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system
    Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, Korea, July 28-31, 2009, p.167-173
  2. (avec Jean-Luc Lamotte et Diep Nguyen Hong) Error-Free Transformation in rounding mode toward zero
    Lecture Notes in Computer Science (LNCS), volume 5492/2009, Numerical Validation in Current Hardware Architectures, 2009, p.217-229
  3. (avec Valérie Ménissier-Morain) Compensated Horner scheme in complex floating point arithmetic
    Proceedings of the 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, July 7-9, 2008, p.133-146
  4. (avec Valérie Ménissier-Morain) Error-free transformations in real and complex floating point arithmetic
    Proceedings of the International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, September 16-19, 2007, p.341-344
  5. (avec Philippe Langlois) Pseudozero Set of Interval Polynomials
    Proceedings of the 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006, p.1655-1659
  6. (avec Philippe Langlois et Nicolas Louvet) Improving the compensated Horner scheme with a Fused Multiply and Add
    Proceedings of the 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006, p.1323-1327
  7. Pseudozero set of multivariate polynomials
    Proceedings of 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006, p.131-141
  8. (avec Philippe Langlois) A comparison of real and complex pseudozero sets for polynomials with real coefficients
    Proceedings of the Sixth Conference on Real Numbers and Computers, November 15-17, 2004, Schloss Dagstuhl, Germany, p.103-112
  9. Computation of pseudozero abscissa
    Proceedings of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, September 26 - 30, 2004, p.176-187
  10. (avec Philippe Langlois) Pseudozero set decides on polynomial stability
    Proceedings of the Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, July 5-9, 2004 (CD-ROM,papers/537.pdf)
  11. (avec Philippe Langlois) Testing polynomial primality with pseudozeros
    Proceedings of the Fifth Conference on Real Numbers and Computers, Lyon, France, september 3-5, 2003, p.231-246

Actes de conférences internationales sans comité de lecture

  1. Accurate Floating Point Product
    Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008, p.351-361
  2. (avec Nguyen Hong Diep et Jean-Luc Lamotte) Precise and effective scientific calculation on the Cell processor
    Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008, p.333-350
  3. (avec Nicolas Louvet) Applications of fast and accurate summation in computational geometry
    Proceedings of the Second International Worskhop on Reliable Engineering Computing, Georgia Institute of Technology, Savannah, Georgia, USA, February 22-24, 2006
  4. (avec Philippe Langlois et Nicolas Louvet) Accurate and validated polynomial evaluation in floating point arithmetic
    In B. Buchberger, S. Oishi, M. Plum, and S.M. Rump, editors, Algebraic and Numeric Algorithms and Computer-assisted Proofs, Dagstuhl Seminar 5391, September 2005

Communications dans des conférences internationales (avec résumé seul)

  1. New Computation of dot products in finite fields with floating-point arithmetic
    Computer-assisted proofs - tools, methods and applications, Dagstuhl Seminar, Germany, November 15-20, 2009
  2. Accurate simple zeros of polynomials
    Proceedings of the 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, El Paso, Texas, USA, September 29 - October 3, 2008, p.52-53
  3. (avec Jean-Luc Lamotte, Siegfried M. Rump et Svetoslav Markov) Interval arithmetic on the Cell processor
    Proceedings of the 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, El Paso, Texas, USA, September 29 - October 3, 2008, p.54 --- Transparents
  4. Validated Pseudozero Set of Polynomials
    12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 26-29, 2006, p.160-161
  5. (avec Philippe Langlois et Nicolas Louvet) Choosing a twice more accurate dot product implementation
    Proceedings of the International Conference of Numerical Analysis and Applied Mathematics 2006, Hotel Belvedere Imperial, Hersonnisos, Crete, Greece, September 15-19, 2006, p.498-499
  6. (avec Philippe Langlois et Nicolas Louvet) Fused Multiply and Add Implementations of the Compensated Horner scheme
    In P. Hertling, C.M. Hoffmann, W. Luther, and N. Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl Seminar 6021, January 2006. Version étendue
  7. Pseudozeros, stability radius and interval polynomials
    Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, Septembre 2005
  8. Structured perturbations in scalar product spaces
    Proceedings of the Foundations of Computational Mathematics, University of Cantabria, Santander, Juillet 2005
  9. Somes results on structured pseudospectra
    Pseudospectra and Structural Dynamics, University of Bristol, Décembre 2004
  10. (avec Philippe Langlois) Approximate Polynomial Problems and Associated Tools
    Proceeding of the 11th IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Fukuoka, Japan, October 4 - 8, 2004. Transparents
  11. Some applications of polynomial pseudozero set
    New Frontiers in Computational Mathematics, University of Manchester, Janvier 2004
  12. Pseudozéros numériques pour polynômes symboliques
    Journées Liens Calcul Numérique-Calcul Formel, Toulouse, Décembre 2002

Rapports de recherche et prépublications

  1. New (avec Jérémy Jean) Fast dot product over finite field
    Rapport de recherche, hal-00450888
  2. (avec Jean-Marie Chesneaux et Fabienne Jézéquel) Numerical validation and assessment of numerical accuracy
    Oxford e-Research Centre, Mars 2009
  3. Accurate simple zeros of polynomials in floating point arithmetic
    Rapport de recherche, hal-00186254
  4. Accurate Floating Point Product and Exponentiation
    Rapport de recherche, hal-00164607
  5. (avec Françoise Tisseur) Structured Condition Numbers and Backward Errors in Scalar Product Spaces
    MIMS EPrint 2006.25, February 2006
  6. (avec Philippe Langlois et Nicolas Louvet) Improving the compensated Horner scheme with a Fused Multiply and Add
    Research Report RR2005-06, LP2A, University of Perpignan, France, November 2005
  7. (avec Philippe Langlois et Nicolas Louvet) Compensated Horner Scheme
    Research Report RR2005-04, LP2A, University of Perpignan, France, july 2005
  8. Applications of fast and accurate summation in computational geometry
    Research Report RR2005-03, LP2A, University of Perpignan, France, may 2005
  9. Structured Condition Number and Backward Error for Eigenvalue Problems
    Research Report RR2005-01, LP2A, University of Perpignan, France, january 2005
  10. Some topological and geometric properties of pseudozero set, 10 pages, mai 2005
  11. (avec Philippe Langlois) More on pseudozeros for univariate polynomials
    Prépublication no 32, Université de Perpignan, janvier 2004
  12. (avec Philippe Langlois) Computation of stability radius for polynomials
    Prépublication no 31, Université de Perpignan, janvier 2004

Posters

  1. Accurate dot products with FMA
    Présenté à la 7th Conference on Real Numbers and Computers, LORIA, Nancy, France, July 10-12, 2006
  2. Pseudozero set of multivariate polynomials
    Présenté aux 8th International Workshop on Computer Algebra in Scientific Computing, Kalamata, Greece, September 12-16, 2005

Comptes rendus de lecture

  1. Review sur le livre "Numerical methods for roots of polynomials. Part I" par John M. McNamee, Elsevier B. V., 2007. Soumis au Mathematical Reviews, Mars 2010

Séminaires et présentations (hors conférences)

  1. Accurate simple zeros of polynomials in floating point arithmetic
    Exposé fait au Groupe de Travail Arénaire, LIP, ENS Lyon, 23 avril 2009
  2. Accurate and High Performance Computing on the Cell processor
    Exposé fait au Young Investigators Symposium, Oak Ridge National Laboratory, Tennessee, USA, October 13-15, 2008
  3. Produit précis de nombres flottants
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  4. Algorithme de Horner compensé en précision finie et applications
    Exposé fait au séminaire SPIRAl/SALSA, LIP6, Université Paris 6, 1 juin 2007
  5. Quelle précision pour le raffinement itératif ?
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Montpellier, 22 janvier 2007
  6. Évaluation précise de polynômes en précision finie
    Exposé fait au séminaire du projet SPACES, LORIA, Nancy, 6 avril 2006
  7. Accurate polynomial evaluation in floating point arithmetic
    Exposé fait au MIMS Numerical Analysis and Scientific Computing Seminars, The University of Manchester, Manchester, UK, February 10, 2006
  8. Pseudozéros de polynômes d'intervalles
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  9. Pseudozéros de polynômes d'intervalles
    Exposé fait aux Journées AriNews, ENS de Lyon, Lyon, 7-8 mars 2005
  10. Les pseudozéros : application en contrôle et en arithmétique d'intervalles
    Exposé fait au groupe de travail sur les Méthodes Ensemblistes, GDR MACS, ENSAM, Paris, 3 février 2005
  11. Pseudozéros de polynômes : théorie et applications
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel, Grenoble, 29 mars - 2 avril 2004
  12. Quelques applications des pseudozéros de polynômes
    Exposé fait au séminaire du laboratoire MANO, Université de Perpignan, 25 mars 2004
  13. Calcul du rayon de stabilité pour les polynômes
    Exposé fait aux Journées AriNews, 17-18 novembre 2003, Lyon
  14. Calcul algébrique approché, une introduction
    Exposé fait aux journées 4e année, 24 janvier 2003, ÉNS Cachan, antenne de Bretagne

Transparents d'exposés

  1. New Computation of dot products in finite fields with floating-point arithmetic
    Exposé fait à Computer-assisted proofs - tools, methods and applications, Dagstuhl Seminar, Germany, November 15-20, 2009
  2. (avec Philippe Trébuchet) A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system
    Exposé fait au International Symposium on Symbolic and Algebraic Computation, Seoul, Korea, July 28-31, 2009
  3. Accurate simple zeros of polynomials in floating point arithmetic
    Exposé fait au Groupe de Travail Arénaire, LIP, ENS Lyon, 23 avril 2009
  4. Accurate and High Performance Computing on the Cell processor
    Exposé fait au Young Investigators Symposium, Oak Ridge National Laboratory, Tennessee, USA, October 13-15, 2008
  5. Accurate simple zeros of polynomials
    Exposé fait à 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, El Paso, Texas, USA, September 29 - October 3, 2008
  6. Compensated Horner scheme in complex floating point arithmetic
    Exposé fait à la 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, July 7-9, 2008
  7. Produit précis de nombres flottants
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  8. Accurate Floating Point Product
    Exposé fait au Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
  9. (avec Nguyen Hong Diep et Jean-Luc Lamotte) Precise and effective scientific calculation on the Cell processor
    Exposé fait au Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
  10. Error-free transformations in real and complex floating point arithmetic
    Exposé fait au International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, September 16-19, 2007
  11. Algorithme de Horner compensé en précision finie et applications
    Exposé fait au séminaire SPIRAl/SALSA, LIP6, Université Paris 6, 1 juin 2007
  12. Quelle précision pour le raffinement itératif ?
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Montpellier, 22 janvier 2007
  13. Validated Pseudozero Set of Polynomials
    Exposé fait au 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 26-29, 2006
  14. Choosing a twice more accurate dot product implementation
    Exposé fait à la International Conference of Numerical Analysis and Applied Mathematics 2006, Hotel Belvedere Imperial, Hersonnisos, Crete, Greece, September 15-19, 2006
  15. Pseudozero Set of Interval Polynomials
    Exposé fait au 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
  16. Évaluation précise de polynômes en précision finie
    Exposé fait au séminaire du projet SPACES, LORIA, Nancy, 6 avril 2006
  17. Pseudozero set of multivariate polynomials
    Exposé fait au 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006
  18. Accurate polynomial evaluation in floating point arithmetic
    Exposé fait au MIMS Numerical Analysis and Scientific Computing Seminars, The University of Manchester, Manchester, UK, February 10, 2006
  19. Pseudozeros, stability radius and interval polynomials
    Exposé fait à Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, September 25-30, 2005
  20. Structured Perturbations in Scalar Product Spaces
    Exposé fait à Foundations of Computational Mathematics, University of Cantabria, Santander, Spain, 30 June - 9 July 2005
  21. Pseudozéros de polynômes d'intervalles
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  22. Pseudozéros de polynômes d'intervalles
    Exposé fait aux Journées AriNews, ENS de Lyon, Lyon, 7-8 mars 2005
  23. Les pseudozéros : application en contrôle et en arithmétique d'intervalles
    Exposé fait au groupe de travail sur les Méthodes Ensemblistes, GDR MACS, ENSAM, Paris, 3 février 2005
  24. Somes results on structured pseudospectra
    Exposé fait à Pseudospectra and Structural Dynamics, University of Bristol, December 13-15, 2004
  25. A comparison of real and complex pseudozero sets for polynomials with real coefficients
    Exposé fait à la Sixth Conference on Real Numbers and Computers, Schloss Dagstuhl, Germany, November 15-17, 2004
  26. Computation of pseudozero abscissa
    Exposé fait au 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, September 26 - 30, 2004
  27. Pseudozero set decides on polynomial stability
    Exposé fait au Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, July 5-9, 2004
  28. Pseudozéros de polynômes : théorie et applications
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel, Grenoble, 29 mars - 2 avril 2004
  29. Quelques applications des pseudozéros de polynômes
    Exposé fait au séminaire du laboratoire MANO, Université de Perpignan, 25 mars 2004
  30. Some applications of polynomial pseudozero set
    Exposé fait à New Frontiers in Computational Mathematics, University of Manchester, January 10-11, 2004
  31. Calcul du rayon de stabilité pour les polynômes
    Exposé fait aux Journées AriNews, 17-18 novembre 2003, Lyon
  32. Testing polynomial primality with pseudozeros
    Exposé fait à la Fifth Conference on Real Numbers and Computers, Lyon, France, septembre 2003
  33. Calcul algébrique approché, une introduction
    Exposé fait aux journées 4e année, 24 janvier 2003, ÉNS Cachan, antenne de Bretagne
  34. Pseudozéros numériques pour polynômes symboliques
    Exposé fait aux journées Liens Calcul Numérique-Calcul Formel, 4-6 décembre 2002, Toulouse

Divers

  1. Pseudozéros et pgcd de polynômes en précision finie
    Rapport de DEA, LIP ÉNS Lyon, 2001 --- Transparents
  2. Simulation numérique d'un procédé de mouillage d'un solide
    Mémoire de stage de 2e année ENSIMAG, 2000
  3. (avec A. Gélinet). Calcul des valeurs propres et des vecteurs propres d'une matrice de perturbation
    Mémoire de 2e année ENSIMAG, 2000

Valid HTML 4.01! Valid CSS! Stef Graillat
(Dernière modification : 13 août 2009)