Publications


Thèse et habilitation

  1. Contribution à l'amélioration de la précision et à la validation des algorithmes numériques
    Habilitation à diriger des recherches, Université Pierre et Marie Curie, Décembre 2013 --- Transparents
  2. 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 Clothilde Jeangoudoux et Christoph Lauter) MPDI : A Decimal Multiple-Precision Interval Arithmetic Library
    À paraître dans Reliable Computing, 2017
  2. New (avec Sylvie Boldo et Jean-Michel Muller) On the robustness of the 2Sum and Fast2Sum algorithms
    À paraître dans ACM Transactions on Mathematical Software, 2017
  3. New (avec Lokmane Abbas-Turki) Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUs
    The Journal of Supercomputing, 73 (2017), no. 4, 1360-1386
  4. New (avec Pierre Fortin et Mourad Gouicem) GPU-accelerated generation of correctly-rounded elementary functions
    ACM Transactions on Mathematical Software, 43 (2016), no. 3, article 22
  5. New (avec Fabienne Jézéquel et Moustadrani Saïd Ibrahim) Dynamical control of Newton's method for multiple roots of polynomials
    Reliable Computing, 21 (2016), 117-139
  6. (avec Hao Jiang, Roberto Barrio et Canqun Yang) Accurate, Validated and Fast Evaluation of Elementary Symmetric Functions and its application
    Applied Mathematics and Computation, 273 (2016), 1160-1178
  7. (avec Christoph Lauter, Peter Tang, Naoya Yamanaka et Shin'ichi Oishi) Efficient calculations of faithfully rounded l2-norms of n-vectors
    ACM Transactions on Mathematical Software, 41 (2015), no. 4, article 24
  8. (avec Sylvain Collange, David Defour et Roman Iakymchuk) Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures
    Parallel Computing, 49 (2015), 83--97
  9. (avec Vincent Lefèvre et Jean-Michel Muller) On the maximum relative error when computing x^n in floating-point arithmetic
    Numer. Algorithms, 70 (2015), no. 3, 653-667
  10. (avec Hao Jiang, Canbin Hu, Shengguo Lia, Xiangke Liao, Lizhi Cheng et Fang Su) Accurate evaluation of the k-th derivative of a polynomial
    J. Comput. Appl. Math. 191 (2013), no. 1, 28--47
  11. (avec Valérie Ménissier-Morain) Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
    Information and Computation, 216 (2012), 57--71
  12. (avec Fabienne Jézéquel, Shiyue Wang et Yuxiang Zhu) Stochastic Arithmetic in Multiprecision
    Math.Comput.Sci. 5 (2011), no. 4, 359--375
  13. (avec Siegfried M. Rump) Verified error bounds for multiple roots of systems of nonlinear equations
    Numer. Algorithms, 54 (2010), no. 3, 359-377
  14. (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
  15. (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")
  16. Accurate Floating Point Product and Exponentiation
    IEEE Transactions on Computers 58 (2009), no. 7, 994--1000
  17. Accurate simple zeros of polynomials in floating point arithmetic
    Comput. Math. Appl. 56 (2008), no. 4, 1114--1120
  18. Some topological and geometric properties of pseudozero set
    Appl. Math. E-Notes 8 (2008), 98--108
  19. Pseudozero Set of Real Multivariate Polynomials
    Math.comput.sci. 1 (2007), no. 2, 337--352
  20. (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)
  21. (avec Françoise Tisseur) Structured Condition Numbers and Backward Errors in Scalar Product Spaces
    Electron. J. Linear Algebra 15 (2006), 159--177
  22. A note on structured pseudospectra
    J. Comput. Appl. Math. 191 (2006), no. 1, 68--76
  23. A note on a nearest polynomial with a given root
    SIGSAM Bull. 39 (2005), no. 2, 53--60
  24. 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. New (avec Roman Iakymchuk, Enrique Quintana-Orti et Erwin Laure) Towards Reproducible Blocked LU Factorization
    À paraître dans Proceedings of the 4th International Workshop on Reproducibility in Parallel Computing in conjunction with IPDPS 2017, Orlando, FL, USA, June 2, 2017
  2. New (avec Roman Iakymchuk, David Defour et Enrique Quintana-Orti) Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs
    Numerical Reproducibility at Exascale (NRE2016) workshop held as part of the Supercomputing Conference (SC16), Salt Lake City, UT, USA, November 13-18, 2016
  3. New (avec Roman Iakymchuk, David Defour et Sylvain Collange) Reproducible and Accurate Matrix Multiplication
    Lecture Notes of Computer Science (LNCS 9553), proceedings of 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2014, Wurzburg, Germany, September 21-26, 2014, p.126-137, 2016
  4. (avec Roman Iakymchuk, Sylvain Collange et David Defour) ExBLAS: Reproducible and Accurate BLAS Library
    Numerical Reproducibility at Exascale (NRE2015) workshop held as part of the Supercomputing Conference (SC15). Austin, TX, USA, November 15-20, 2015
  5. (avec Fabienne Jézéquel et Romain Picot) Numerical validation of compensated summation algorithms with stochastic arithmetic
    Electronic Notes in Theoretical Computer Science 317 (2015), 55--69 (Proceedings of the 8th International Workshop on Numerical Software Verification 2015 (NSV 2015), April 13, 2015)
  6. (avec Roman Iakymchuk, David Defour et Sylvain Collange) Reproducible Triangular Solvers for High-Performance Computing
    Proceeding of the 12th International Conference on Information Technology : New Generations (ITNG 2015), Las Vegas, Nevada, USA, April 13-15, 2015, p.353-358
  7. (avec Hao Jiang et Roberto Barrio) Accurate and Fast Evaluation of Elementary Symmetric Functions
    Proceeding of the 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013, p.183-190
  8. (avec Pierre Fortin et Mourad Gouicem) Towards solving the Table Maker Dilemma on GPU
    Proceedings of the 20th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2012), p.407-415
  9. (avec Jérémy Jean) A parallel algorithm for dot product over word-size finite field using floating-point arithmetic
    Proceeding of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010, p.80-87
  10. (avec Fabienne Jézéquel et Yuxiang Zhu) Stochastic arithmetic in multiprecision
    NSV3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
  11. (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
  12. (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
  13. (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
  14. (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
  15. (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
  16. (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
  17. Pseudozero set of multivariate polynomials
    Proceedings of 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006, p.131-141
  18. (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
  19. 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
  20. (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)
  21. (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 Accurate computations with polynomials
    The International Workshop on Numerical Verification and its Applications 2017, Miyako-jima, Okinawa, Japan, March 15-18, 2017
  2. New A Parallel Compensated Horner Scheme
    SIAM Conference on Computational Science and Engineering (CSE), Atlanta, Georgia, USA, February 27-March 3, 2017
  3. New (avec Fabienne Jézéquel, Romain Picot, François Févotte et Bruno Lathuilière) PROMISE: floating-point precision tuning with stochastic arithmetic
    Proceedings of the 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2016), Uppsala (Sweden), September 26-29, 2016, p.97-98
  4. New (avec Clothilde Jeangoudoux et Christoph Lauter) A Decimal Multiple-Precision Interval Arithmetic Library
    Proceedings of the 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2016), Uppsala (Sweden), September 26-29, 2016, p.63-64
  5. New (avec Roman Iakymchuk et David Defour) Towards Fast, Accurate and Reproducible LU Factorization
    À Proceedings of the 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2016), Uppsala (Sweden), September 26-29, 2016, p.59-60
  6. New (avec Lokmane Abbas-Turki) Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUs
    Book of abstracts of the International conference on Monte-Carlo techniques, 5-8 Jul 2016, Paris, France, p.25
  7. New (avec Roman Iakymchuk, Toshiyuki Imamura, Stefano Markidis et Erwin Laure) A case study of the reproducibility issues in EigenExa
    Exascale Applications & Software Conference (EASC2016), Stockholm, Sweden, April 25-29, 2016
  8. New (avec Sylvain Collange, David Defour et Roman Iakymchuk) Reproducible and Accurate Algorithms for Numerical Linear Algebra
    SIAM Conference on Parallel Processing for Scientific Computing (PP16), Paris, France, April 12-15, 2016
  9. (avec Sylvain Collange, David Defour et Roman Iakymchuk) Reproducible and Accurate Matrix Multiplication for High-Performance Computing
    Proceedings of the 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, September 21-26, 2014, p.42-43
  10. (avec Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanka et Shin'ichi Oishi) A method of calculating faithful rounding of l2-norm for n-vectors
    Proceedings of the 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, September 21-26, 2014, p.60-61
  11. (avec Sylvain Collange, David Defour et Roman Iakymchuk) A Reproducible Accurate Summation Algorithm for High-Performance Computing
    SIAM EX14, SIAM Workshop on Exascale Applied Mathematics Challenges and Opportunities, The Palmer House, Chicago, Illinois, USA , July 6, 2014
  12. (avec Pierre Fortin et Mourad Gouicem) Solving the Table Maker's Dilemma by reducing divergence on GPU
    Proceedings of the 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Novosibirsk, Russia, September 23-29, 2012, p.45-46
  13. Faithful roundings of sum with nonnegative entries (conférencier invité)
    JSIAM Meeting 2011, Doshisha University, Kyoto, Japan, September 14-16, 2011, p.349-350
  14. Verified error bounds for multiple roots of systems of nonlinear equations (conférencier invité)
    CRC 2011, International Workshop on Certified and Reliable Computation, Nan Ning, Guang Xi, China, July 17-20, 2011
  15. (avec Fabienne Jézéquel et Yuxiang Zhu) SAM: a multiprecision stochastic arithmetic library
    14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Lyon, France, September 27-30, 2010 - Transparents
  16. 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
  17. 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
  18. (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
  19. 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
  20. (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
  21. (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
  22. Pseudozeros, stability radius and interval polynomials
    Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, Septembre 2005
  23. Structured perturbations in scalar product spaces
    Proceedings of the Foundations of Computational Mathematics, University of Cantabria, Santander, Juillet 2005
  24. Somes results on structured pseudospectra
    Pseudospectra and Structural Dynamics, University of Bristol, Décembre 2004
  25. (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
  26. Some applications of polynomial pseudozero set
    New Frontiers in Computational Mathematics, University of Manchester, Janvier 2004
  27. Pseudozéros numériques pour polynômes symboliques
    Journées Liens Calcul Numérique-Calcul Formel, Toulouse, Décembre 2002

Rapports de recherche non publiés

  1. (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. (avec Philippe Langlois et Nicolas Louvet) Compensated Horner Scheme
    Research Report RR2005-04, LP2A, University of Perpignan, France, july 2005
  4. Structured Condition Number and Backward Error for Eigenvalue Problems
    Research Report RR2005-01, LP2A, University of Perpignan, France, january 2005
  5. (avec Philippe Langlois) More on pseudozeros for univariate polynomials
    Prépublication no 32, Université de Perpignan, janvier 2004
  6. (avec Philippe Langlois) Computation of stability radius for polynomials
    Prépublication no 31, Université de Perpignan, janvier 2004

Posters

  1. (avec Roman Iakymchuk, Sylvain Collange et David Defour) ExBLAS: Reproducible and Accurate BLAS Library
    Présenté à la 7ème Rencontre Arithmétique de l'Informatique Mathématique (RAIM 2015), Rennes, France, April 7-9, 2015
  2. (avec Hao Jiang et Roberto Barrio) Accurate Computing Elementary Symmetric Functions
    Présenté à la International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Grenoble, France, July 22-25, 2012 --- Poster
    ACM Communications in Computer Algebra, Vol 46, No. 3, Issue 181, September 2012, p.102-103
  3. Accurate dot products with FMA
    Présenté à la 7th Conference on Real Numbers and Computers, LORIA, Nancy, France, July 10-12, 2006
  4. 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. Mathematical Reviews, 2010

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

  1. New Numerical reproducibility and High-performance computing
    Exposé fait au Webinar on Reproducible Research: Numerical reproducibility, 3 mai 2016, Grenoble, France
  2. New Numerical reproducibility and High-performance computing
    Exposé fait au séminaire Maths-Info, Université Pierre et Marie Curie (UPMC), Paris, France, 16 février 2016
  3. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait aux journées "Méthodes de subdivisions pour les systèmes singuliers" de l'ANR SingCAST, Nantes, France, 15-16 décembre 2014
  4. Structured pseudospectra for matrices and matrix polynomials
    Exposé fait au Structured Matrix Days, XLIM, Université de Limoges, France, 26-27 mai 2014
  5. Arithmétique des ordinateurs et HPC
    Exposé fait au séminaire de l'équipe HP2 de Télécom SudParis, Évry, 9 avril 2014
  6. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Exposé fait au séminaire du LIF, Marseille, 1 avril 2014
  7. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Exposé fait au séminaire Calcul formel du XLIM, Limoges, 27 mars 2014
  8. Amélioration de la précision et validation des algorithmes numériques : le cas du calcul des racines de polynômes
    Exposé fait au LIFL, Lille, 17 mars 2014
  9. Introduction to pseudozeros and pseudospectra
    Exposés faits au groupe de travail AriC, LIP, ENS Lyon, 1 octobre et 17 décembre 2013
  10. Some results concerning the increase of accuracy and validation of numerical algorithms
    Exposé fait au 3D'13, DALI's Doctoral Day, Rivesaltes, 12 novembre 2013
  11. Accurate evaluation of the k-th derivative of a polynomial and its application to the convergence of Newton's method
    Exposé fait au Groupe de Travail AriC, LIP, ENS Lyon, 4 juillet 2013
  12. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 25 avril 2013
  13. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 14 octobre 2010
  14. Accurate simple zeros of polynomials in floating point arithmetic
    Exposé fait au Groupe de Travail Arénaire, LIP, ENS Lyon, 23 avril 2009
  15. 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
  16. Produit précis de nombres flottants
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  17. Algorithme de Horner compensé en précision finie et applications
    Exposé fait au séminaire SPIRAl/SALSA, LIP6, Université Paris 6, 1 juin 2007
  18. Quelle précision pour le raffinement itératif ?
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Montpellier, 22 janvier 2007
  19. Évaluation précise de polynômes en précision finie
    Exposé fait au séminaire du projet SPACES, LORIA, Nancy, 6 avril 2006
  20. 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
  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. 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
  25. Quelques applications des pseudozéros de polynômes
    Exposé fait au séminaire du laboratoire MANO, Université de Perpignan, 25 mars 2004
  26. Calcul du rayon de stabilité pour les polynômes
    Exposé fait aux Journées AriNews, 17-18 novembre 2003, Lyon
  27. 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 Accurate computations with polynomials
    Exposé fait à The International Workshop on Numerical Verification and its Applications 2017, Miyako-jima, Okinawa, Japan, March 15-18, 2017
  2. New A Parallel Compensated Horner Scheme
    Exposé fait à la SIAM Conference on Computational Science and Engineering (CSE), Atlanta, Georgia, USA, February 27-March 3, 2017
  3. New Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUs
    Exposé fait à la International conference on Monte-Carlo techniques, 5-8 Jul 2016, Paris, France
  4. New Numerical reproducibility and High-performance computing
    Exposé fait au Webinar on Reproducible Research: Numerical reproducibility, 3 mai 2016, Grenoble, France
  5. New Numerical reproducibility and High-performance computing
    Exposé fait au séminaire Maths-Info, Université Pierre et Marie Curie (UPMC), Paris, France, 16 février 2016
  6. Reproducible Triangular Solvers for High-Performance Computing
    Exposé fait au 12th International Conference on Information Technology : New Generations (ITNG 2015), Las Vegas, Nevada, USA, April 13-15, 2015
  7. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait aux journées "Méthodes de subdivisions pour les systèmes singuliers" de l'ANR SingCAST, Nantes, France, 15-16 décembre 2014
  8. A method of calculating faithful rounding of l2-norm for n-vectors
    Exposé fait au 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, September 21-26, 2014
  9. Structured pseudospectra for matrices and matrix polynomials
    Exposé fait au Structured Matrix Days, XLIM, Université de Limoges, France, 26-27 mai 2014
  10. Arithmétique des ordinateurs et HPC
    Exposé fait au séminaire de l'équipe HP2 de Télécom SudParis, Évry, 9 avril 2014
  11. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Exposé fait au séminaire du LIF, Marseille, 1 avril 2014
  12. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Exposé fait au séminaire Calcul formel du XLIM, Limoges, 27 mars 2014
  13. Amélioration de la précision et validation des algorithmes numériques : le cas du calcul des racines de polynômes
    Exposé fait au LIFL, Lille, 17 mars 2014
  14. Introduction to pseudozeros and pseudospectra
    Exposés fait au groupe de travail AriC, LIP, ENS Lyon, 1 octobre et 17 décembre 2013
  15. Some results concerning the increase of accuracy and validation of numerical algorithms
    Exposé fait au 3D'13, DALI's Doctoral Day, Rivesaltes, 12 novembre 2013
  16. Accurate evaluation of the k-th derivative of a polynomial and its application to the convergence of Newton's method
    Exposé fait au Groupe de Travail AriC, LIP, ENS Lyon, 4 juillet 2013
  17. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 25 avril 2013
  18. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait à 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013
  19. Faithful roundings of sum with nonnegative entries
    Exposé fait à JSIAM Meeting 2011, Doshisha University, Kyoto, Japan, September 14-16, 2011
  20. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait à CRC 2011, International Workshop on Certified and Reliable Computation, Nan Ning, Guang Xi, China, July 17-20, 2011
  21. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 14 octobre 2010
  22. (avec Jérémy Jean) A parallel algorithm for dot product over word-size finite field using floating-point arithmetic
    Exposé fait à SYNASC2010, the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010
  23. (avec Fabienne Jézéquel et Yuxiang Zhu) Stochastic arithmetic in multiprecision
    Exposé fait à NSV3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
  24. 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
  25. (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
  26. Accurate simple zeros of polynomials in floating point arithmetic
    Exposé fait au Groupe de Travail Arénaire, LIP, ENS Lyon, 23 avril 2009
  27. 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
  28. 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
  29. 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
  30. Produit précis de nombres flottants
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  31. Accurate Floating Point Product
    Exposé fait au Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
  32. (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
  33. 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
  34. Algorithme de Horner compensé en précision finie et applications
    Exposé fait au séminaire SPIRAl/SALSA, LIP6, Université Paris 6, 1 juin 2007
  35. Quelle précision pour le raffinement itératif ?
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Montpellier, 22 janvier 2007
  36. 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
  37. 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
  38. Pseudozero Set of Interval Polynomials
    Exposé fait au 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
  39. Évaluation précise de polynômes en précision finie
    Exposé fait au séminaire du projet SPACES, LORIA, Nancy, 6 avril 2006
  40. Pseudozero set of multivariate polynomials
    Exposé fait au 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006
  41. 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
  42. Pseudozeros, stability radius and interval polynomials
    Exposé fait à Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, September 25-30, 2005
  43. Structured Perturbations in Scalar Product Spaces
    Exposé fait à Foundations of Computational Mathematics, University of Cantabria, Santander, Spain, 30 June - 9 July 2005
  44. Pseudozéros de polynômes d'intervalles
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  45. Pseudozéros de polynômes d'intervalles
    Exposé fait aux Journées AriNews, ENS de Lyon, Lyon, 7-8 mars 2005
  46. 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
  47. Somes results on structured pseudospectra
    Exposé fait à Pseudospectra and Structural Dynamics, University of Bristol, December 13-15, 2004
  48. 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
  49. 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
  50. 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
  51. 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
  52. Quelques applications des pseudozéros de polynômes
    Exposé fait au séminaire du laboratoire MANO, Université de Perpignan, 25 mars 2004
  53. Some applications of polynomial pseudozero set
    Exposé fait à New Frontiers in Computational Mathematics, University of Manchester, January 10-11, 2004
  54. Calcul du rayon de stabilité pour les polynômes
    Exposé fait aux Journées AriNews, 17-18 novembre 2003, Lyon
  55. Testing polynomial primality with pseudozeros
    Exposé fait à la Fifth Conference on Real Numbers and Computers, Lyon, France, septembre 2003
  56. Calcul algébrique approché, une introduction
    Exposé fait aux journées 4e année, 24 janvier 2003, ÉNS Cachan, antenne de Bretagne
  57. 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 : 21 juin 2016)