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 Thomas R. Cameron) Accurate Horner Methods in Real and Complex Floating-Point Arithmetic
    BIT Numerical Mathematics 64, (2024), no. 2, paper no. 17
  2. New (avec Roman Iakymchuk et José I. Aliaga) General framework for re-assuring numerical reliability in parallel Krylov solvers: A case of BiCGStab methods
    The International Journal of High Performance Computing Applications, Vol. 38(1), 2024, p.17–33
  3. New (avec Fabienne Jézéquel, Théo Mary et Roméo Molina) Adaptive precision sparse matrix-vector product and its application to Krylov solvers
    SIAM Journal on Scientific Computing, 46 (2024), no. 1, C30-C56
  4. New (avec Jérémy Berthomieu, Dimitri Lesnoff et Theo Mary) Modular matrix multiplication on GPU for polynomial system solving
    ACM Communications in Computer Algebra, Vol. 57, No. 2, Issue 224, p.35–38, June 2023
  5. New (avec Chuanying Li, Zhe Quan, Tong-Xiang Gu, Hao Jiang et Kenli Li) XHYPRE: a reliable parallel numerical algorithm library for solving large-scale sparse linear equations
    CCF Transactions on High Performance Computing, 5 (2023), 191–-209
  6. New (avec Kuan Li, Kang He, Lin Chen, Hao Jiang, Tong-Xiang Gu et Jie Liu) Multi-level Parallel Multi-layer Block Reproducible Summation Algorithm
    Parallel Computing, 115 (2023), 102996
  7. (avec Thomas R. Cameron) On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
    Electron. Trans. Numer. Anal. 55 (2022), 401--423
  8. (avec Xiaojun Lei, Tong-Xiang, Hao Jiang et Jin Qi) A Fast Parallel High-Precision Summation Algorithm Based on AccSumK
    J. Comput. Appl. Math. 406 (2022), 113827
  9. (avec R. Iakymchuk, M. Barreda, J. Aliaga, E. Quintana-Orti) Reproducibility of Parallel Preconditioned Conjugate Gradient in Hybrid Programming Environments
    International Journal of High Performance Computing Applications, 34 (2020), no. 5, 502-518
  10. (avec Fabienne Jézéquel) Tight interval inclusions with compensated algorithms
    IEEE Transactions on Computers 69 (2020), no. 12, 1774--1783
  11. (avec Fabienne Jézéquel, Romain Picot, François Févotte et Bruno Lathuilière) Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic
    Journal of Computational Science, 36 (2019), 101017 -- code
  12. (avec Roman Iakymchuk, David Defour et Enrique Quintana-Orti) Hierarchical approach for deriving a reproducible unblocked LU factorization
    International Journal of High Performance Computing Applications, 33 (2019), no. 5, 791803
  13. An accurate algorithm for evaluating rational functions
    Applied Mathematics and Computation, 337 (2018), 494-503
  14. (avec Fabienne Jézéquel et Romain Picot) Numerical Validation of Compensated Algorithms with Stochastic Arithmetic
    Applied Mathematics and Computation, 329 (2018), 339-363
  15. (avec Sylvie Boldo et Jean-Michel Muller) On the robustness of the 2Sum and Fast2Sum algorithms
    ACM Transactions on Mathematical Software, 44 (2017), no. 1, article 4
  16. (avec Clothilde Jeangoudoux et Christoph Lauter) MPDI : A Decimal Multiple-Precision Interval Arithmetic Library
    Reliable Computing, 25 (2017), 38-52
  17. (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
  18. (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
  19. (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
  20. (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
  21. (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
  22. (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
  23. (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
  24. (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
  25. (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
  26. (avec Fabienne Jézéquel, Shiyue Wang et Yuxiang Zhu) Stochastic Arithmetic in Multiprecision
    Math.Comput.Sci. 5 (2011), no. 4, 359--375
  27. (avec Siegfried M. Rump) Verified error bounds for multiple roots of systems of nonlinear equations
    Numer. Algorithms, 54 (2010), no. 3, 359-377
  28. (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
  29. (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")
  30. Accurate Floating Point Product and Exponentiation
    IEEE Transactions on Computers 58 (2009), no. 7, 994--1000
  31. Accurate simple zeros of polynomials in floating point arithmetic
    Comput. Math. Appl. 56 (2008), no. 4, 1114--1120
  32. Some topological and geometric properties of pseudozero set
    Appl. Math. E-Notes 8 (2008), 98--108
  33. Pseudozero Set of Real Multivariate Polynomials
    Math.comput.sci. 1 (2007), no. 2, 337--352
  34. (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)
  35. (avec Françoise Tisseur) Structured Condition Numbers and Backward Errors in Scalar Product Spaces
    Electron. J. Linear Algebra 15 (2006), 159--177
  36. A note on structured pseudospectra
    J. Comput. Appl. Math. 191 (2006), no. 1, 68--76
  37. A note on a nearest polynomial with a given root
    SIGSAM Bull. 39 (2005), no. 2, 53--60
  38. 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 Fabienne Jézéquel, Theo Mary, Roméo Molina et Daichi Mukunoki) Reduced-Precision and Reduced-Exponent Formats for Accelerating Adaptive Precision Sparse Matrix-Vector Product
    Proceedings of 30th International European Conference on Parallel and Distributed Computing (Euro-Par 2024), Madrid, Spain, August 26-30, 2024, LNCS 14803, p.17-30
  2. New (avec Quentin Ferro, Thibault Hilaire et Fabienne Jézéquel) Performance of precision auto-tuned neural networks
    Proceedings of the 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2023), Singapore, Decembre 18-21, 2023, p. 592-599
  3. New (avec Youness Ibrahimy, Clothilde Jeangoudoux et Christoph Lauter) A parallel compensated Horner scheme for SIMD architecture
    Proceedings of the 30th IEEE Symposium on Computer Arithmetic, Portland, Oregon, USA, September 4-6, 2023, p. 131-138 -- Transparents
  4. New (avec Xiaojun Lei, Tongxiang Gu, Xiaowen Xu, Jing Meng) Comparison of Reproducible Parallel Preconditioned BiCGSTAB Algorithm Based on ExBLAS and ReproBLAS
    Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia'23). ACM, New York, NY, USA, p.46-54
  5. New (avec Roman Iakymchuk et José Ignacio Aliaga) General framework for deriving reproducible Krylov subspace algorithms: A BiCGStab case study
    Proceeding of PPAM 2022, 14th International Conference On Parallel Processing And Applied Mathematics, LNCS 13826, p. 16–29, 2023
  6. (avec Quentin Ferro, Thibault Hilaire, Fabienne Jézéquel et Basile Lewandowski) Neural Network Precision Tuning Using Stochastic Arithmetic
    Proceeding of NSV2022, 15th International Workshop on Numerical Software Verification, Haifa, Israel, August 11, 2022, p. 164-186
  7. (avec Fabienne Jézéquel, Enzo Queiros Martins et Maxime Spyropoulos) Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
    Proceedings of SYNASC 2021, 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, December 7-10, 2021, p. 45-51
  8. (avec Fabienne Jézéquel, Daichi Mukunoki, Toshiyuki Imamura et Roman Iakymchuk) Can we avoid rounding-error estimation in HPC codes and still get trustful results?
    Software Verification. NSV 2020, VSTTE 2020. Lecture Notes in Computer Science, vol 12549, Springer, p.163-177
  9. (avec Vincent Lefèvre et Jean-Michel Muller) Alternative Split Functions and Dekker's Product
    Proceedings of the 27th IEEE Symposium on Computer Arithmetic, Portland, Oregon, USA, Jun 7-10, 2020, p.41-47
  10. (avec Fabienne Jézéquel, Romain Picot, François Févotte et Bruno Lathuilière) Numerical validation in quadruple precision using stochastic arithmetic
    Kalpa Publications in Computing, Volume 8, Minisymposium on Trusted Numerical Computations, Krakow, Poland, June 19-20, 2018, p.38-53
  11. (avec Roman Iakymchuk, David Defour, Erwin Laure et Enrique Quintana-Orti) Towards a Reproducible Solution of Linear Systems
    Supercomputing Conference (SC 2017), Computational Reproducibility at Exascale Workshop, Denver, CO, USA, 2017
  12. (avec Roman Iakymchuk, Enrique Quintana-Orti et Erwin Laure) Towards Reproducible Blocked LU Factorization
    IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Orlando, FL, USA, 2017, p.1598-1607
  13. (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
  14. (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
  15. (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
  16. (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)
  17. (avec Roman Iakymchuk, David Defour et Sylvain Collange) Reproducible Triangular Solvers for High-Performance Computing
    Proceedings of the 12th International Conference on Information Technology : New Generations (ITNG 2015), Las Vegas, Nevada, USA, April 13-15, 2015, p.353-358
  18. (avec Hao Jiang et Roberto Barrio) Accurate and Fast Evaluation of Elementary Symmetric Functions
    Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013, p.183-190
  19. (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
  20. (avec Jérémy Jean) A parallel algorithm for dot product over word-size finite field using floating-point arithmetic
    Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010, p.80-87
  21. (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
  22. (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
  23. (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
  24. (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
  25. (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
  26. (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
  27. (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
  28. Pseudozero set of multivariate polynomials
    Proceedings of 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006, p.131-141
  29. (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
  30. 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
  31. (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)
  32. (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. (avec Quentin Ferro, Thibault Hilaire et Fabienne Jézéquel) Precision Auto-Tuning of High-Performance Neural Networks
    European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), minisymposium ’’Mixed Precision Computations in Theory and Practice’’, Lisbon, Portugal, September 2023
  2. (avec Quentin Ferro, Thibault Hilaire et Fabienne Jézéquel) Precision auto-tuning using stochastic arithmetic
    10th International Congress on Industrial and Applied Mathematics (ICIAM), minisymposium ‘‘Exploring Arithmetic and Data Representation Beyond the Standard in HPC’’, Tokyo, Japan, August 2023
  3. (avec Roméo Molina, Fabienne Jézéquel et Théo Mary) Adaptive Precision Sparse Iterative Solvers
    SIAM Conference on Computational Science and Engineering (CSE23), Amsterdam, Netherlands, February 2023
  4. On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
    International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), March 13-18, 2022
  5. (avec T. Imamura, D. Mukunoki, R. Iakymchuk, F. Jézéquel) Numerical Reproducibility based on Minimal-Precision Validation -- slides
    Computational Reproducibility at Exascale Workshop (CRE2019), in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Denver, USAs, November 1722, 2019
  6. Compensated algorithms with stochastic arithmetic and interval arithmetic
    ICIAM 2019, The International Congress on Industrial and Applied Mathematics, Valencia, Spain, July 15-19, 2019
  7. (avec Roman Iakymchuk et Matthias Wiesenberger) Reproducibility and Performance of the Feltor Code on Parallel Architectures
    2019 SIAM Conference on Computational Science and Engineering, Spokane Convention Center, Spokane, Washington, USA, February 25 - March 1, 2019
  8. (avec Fabienne Jézéquel) Tight interval inclusions with compensated algorithms
    Proceedings of the 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN 2018), Tokyo, Japan, September 10-14, 2018, p.86-87
  9. Accurate Interval Matrix Computations
    PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018
  10. (avec Roman Iakymchuk, Daichi Mukunoki et Takeshi Ogita) Reproducibility of sparse matrix-vector product and sparse solvers
    PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018 -- Transparents
  11. (avec Daichi Mukunoki, Roman Iakymchuk et Takeshi Ogita) High-Performance Implementation of Reproducible and Accurate Matrix-Multiplication
    PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018 -- Transparents
  12. Parallel Accurate Algorithms for Polynomial and Rational Function Evaluation
    SIAM Conference on Parallel Processing for Scientific Computing (PP18), Waseda University, Tokyo, Japan, March 7-10, 2018
  13. (avec Fabienne Jézéquel) Interval computations with compensated algorithms
    Dagstuhl Seminar 17481 "Reliable Computation and Complexity on the Reals", Dagstuhl, Germany, November 26 - December 1, 2017
  14. (avec Youness Ibrahimy, Clothilde Jeangoudoux et Christoph Lauter) A Parallel Compensated Horner Scheme
    ACA 2017, 23rd Conference on Applications of Computer Algebra, Jerusalem, Israel, July 17-21, 2017, p.271
  15. Accurate computations with polynomials
    The International Workshop on Numerical Verification and its Applications 2017, Miyako-jima, Okinawa, Japan, March 15-18, 2017
  16. A Parallel Compensated Horner Scheme
    SIAM Conference on Computational Science and Engineering (CSE), Atlanta, Georgia, USA, February 27-March 3, 2017
  17. (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
  18. (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
  19. (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
  20. (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
  21. (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
  22. (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
  23. (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
  24. (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
  25. (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
  26. (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
  27. Faithful roundings of sum with nonnegative entries (conférencier invité)
    JSIAM Meeting 2011, Doshisha University, Kyoto, Japan, September 14-16, 2011, p.349-350
  28. 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
  29. (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
  30. 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
  31. 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
  32. (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
  33. 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
  34. (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
  35. (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
  36. Pseudozeros, stability radius and interval polynomials
    Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, Septembre 2005
  37. Structured perturbations in scalar product spaces
    Proceedings of the Foundations of Computational Mathematics, University of Cantabria, Santander, Juillet 2005
  38. Somes results on structured pseudospectra
    Pseudospectra and Structural Dynamics, University of Bristol, Décembre 2004
  39. (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
  40. Some applications of polynomial pseudozero set
    New Frontiers in Computational Mathematics, University of Manchester, Janvier 2004
  41. 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 Roméo Molina, Fabienne Jézéquel et Théo Mary) Adaptive Precision Sparse MatrixVector Product and its Application to Krylov Solvers
    Présenté au Colloque Sparse Days 2022, Saint-Girons, France, 20-22 Juin 2022
  2. (avec Quentin Ferro, Thibault Hilaire, Fabienne Jézéquel et Basile Lewandowski) Neural Network Precision Tuning Using Stochastic Arithmetic
    Présenté au Colloque Sparse Days 2022, Saint-Girons, France, 20-22 Juin 2022
  3. (avec Roman Iakymchuk, Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki) Accurate and Reproducible Conjugate Gradient in Hybrid Parallel Environments
    Présenté à ISC High Performance (ISC 2021), June 29th - July 2nd, 2021
  4. (avec Chuanying Li, Hao Jiang et Zhe Quan) XHYPRE: A high-precision numerical software package for solving large-scale sparse linear equations -- poster
    Présenté à ICPP 2021, 50th International Conference on Parallel Processing, Virtually in Chicago, Illinois, USA, August 9-12, 2021
  5. (avec David Defour, François Févotte, Fabienne Jézéquel, Wilfried Kirschenman, Jean-Luc Lamotte, Bruno Lathuilière, Yves Lhuillier, Eric Petit, Julien Signoles, Sohier Devan et Franck Vedrine) InterFLOP, Interoperable Tools for Computing, Debugging, Validation and Optimization of Floating-Point Programs
    Présenté à ISC-HPC 2021 DIGITAL, Jun 2021, Online, France
  6. (avec T. Boku, N. Fujita, J. Huthmann, R. Iakymchuk, T. Imamura, F. Jézéquel, A. Koshiba, D. Mukunoki, K. Sano, Y. Tan) Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations
    Présenté à la 2nd R-CCS international symposium, K to Fugaku: Simulation, Big Data and AI supporting Society 5.0, Kobe (Japan), Feb. 2020
  7. (avec T. Boku, N. Fujita, J. Huthmann, R. Iakymchuk, T. Imamura, F. Jézéquel, A. Koshiba, D. Mukunoki, K. Sano, Y. Tan) Optimizing Precision for High-Performance, Robust, and Energy-Efficient Computations
    Présenté à la International Conference on High Performance Computing in Asia-Pacific Region, Fukuoka (Japan), 15-17 January 2020
  8. (avec T. Boku, N. Fujita, J. Huthmann, R. Iakymchuk, T. Imamura, F. Jézéquel, A. Koshiba, D. Mukunoki, K. Sano, Y. Tan) Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations
    Présenté à la International Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Denver (USA), Nov. 2019
  9. (avec T. Boku, N. Fujita, J. Huthmann, R. Iakymchuk, T. Imamura, F. Jézéquel, A. Koshiba, D. Mukunoki, K. Sano, Y. Tan) Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations
    Présenté au France-Japan-Germany trilateral workshop: Convergence of HPC and Data Science for Future Extreme Scale Intelligent Applications, Tokyo (Japan), Nov. 2019
  10. (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
  11. (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
  12. Accurate dot products with FMA
    Présenté à la 7th Conference on Real Numbers and Computers, LORIA, Nancy, France, July 10-12, 2006
  13. 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. On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
    Exposé fait au séminaire AriC, LIP, ENS Lyon, 16 décembre 2021
  2. Compensated algorithms with stochastic arithmetic and interval arithmetic
    Exposé fait au Numerical Analysis and Scientific Computing seminar, The University of Manchester, School of Mathematics, Manchester, UK, 3 May 2019
  3. Numerical reproducibility and High-performance computing
    Exposé fait au Webinar on Reproducible Research: Numerical reproducibility, 3 mai 2016, Grenoble, France
  4. 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
  5. 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
  6. Structured pseudospectra for matrices and matrix polynomials
    Exposé fait au Structured Matrix Days, XLIM, Université de Limoges, France, 26-27 mai 2014
  7. Arithmétique des ordinateurs et HPC
    Exposé fait au séminaire de l'équipe HP2 de Télécom SudParis, Évry, 9 avril 2014
  8. 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
  9. 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
  10. 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
  11. Introduction to pseudozeros and pseudospectra
    Exposés faits au groupe de travail AriC, LIP, ENS Lyon, 1 octobre et 17 décembre 2013
  12. 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
  13. 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
  14. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 25 avril 2013
  15. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 14 octobre 2010
  16. Accurate simple zeros of polynomials in floating point arithmetic
    Exposé fait au Groupe de Travail Arénaire, LIP, ENS Lyon, 23 avril 2009
  17. 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
  18. Produit précis de nombres flottants
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  19. Algorithme de Horner compensé en précision finie et applications
    Exposé fait au séminaire SPIRAl/SALSA, LIP6, Université Paris 6, 1 juin 2007
  20. Quelle précision pour le raffinement itératif ?
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Montpellier, 22 janvier 2007
  21. Évaluation précise de polynômes en précision finie
    Exposé fait au séminaire du projet SPACES, LORIA, Nancy, 6 avril 2006
  22. 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
  23. Pseudozéros de polynômes d'intervalles
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  24. Pseudozéros de polynômes d'intervalles
    Exposé fait aux Journées AriNews, ENS de Lyon, Lyon, 7-8 mars 2005
  25. 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
  26. 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
  27. Quelques applications des pseudozéros de polynômes
    Exposé fait au séminaire du laboratoire MANO, Université de Perpignan, 25 mars 2004
  28. Calcul du rayon de stabilité pour les polynômes
    Exposé fait aux Journées AriNews, 17-18 novembre 2003, Lyon
  29. 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. On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
    Exposé fait au International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), March 13-18, 2022
  2. On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
    Exposé fait au séminaire AriC, LIP, ENS Lyon, 16 décembre 2021
  3. Compensated algorithms with stochastic arithmetic and interval arithmetic
    Exposé fait à ICIAM 2019, The International Congress on Industrial and Applied Mathematics, Valencia, Spain, July 15-19, 2019
  4. Compensated algorithms with stochastic arithmetic and interval arithmetic
    Exposé fait au Numerical Analysis and Scientific Computing seminar, The University of Manchester, School of Mathematics, Manchester, UK, 3 May 2019
  5. Accurate Interval Matrix Computations
    Exposé fait à PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018
  6. Parallel Accurate Algorithms for Polynomial and Rational Function Evaluation
    Exposé fait à SIAM Conference on Parallel Processing for Scientific Computing (PP18), Waseda University, Tokyo, Japan, March 7-10, 2018
  7. Interval computations with compensated algorithms
    Exposé fait au Dagstuhl Seminar 17481 "Reliable Computation and Complexity on the Reals", Dagstuhl, Germany, November 26 - December 1, 2017
  8. A Parallel Compensated Horner Scheme
    Exposé fait à ACA 2017, 23rd Conference on Applications of Computer Algebra, Jerusalem, Israel, July 17-21, 2017
  9. Accurate computations with polynomials
    Exposé fait à The International Workshop on Numerical Verification and its Applications 2017, Miyako-jima, Okinawa, Japan, March 15-18, 2017
  10. A Parallel Compensated Horner Scheme
    Exposé fait à la SIAM Conference on Computational Science and Engineering (CSE), Atlanta, Georgia, USA, February 27-March 3, 2017
  11. 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
  12. Numerical reproducibility and High-performance computing
    Exposé fait au Webinar on Reproducible Research: Numerical reproducibility, 3 mai 2016, Grenoble, France
  13. 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
  14. 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
  15. 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
  16. 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
  17. Structured pseudospectra for matrices and matrix polynomials
    Exposé fait au Structured Matrix Days, XLIM, Université de Limoges, France, 26-27 mai 2014
  18. Arithmétique des ordinateurs et HPC
    Exposé fait au séminaire de l'équipe HP2 de Télécom SudParis, Évry, 9 avril 2014
  19. 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
  20. 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
  21. 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
  22. Introduction to pseudozeros and pseudospectra
    Exposés fait au groupe de travail AriC, LIP, ENS Lyon, 1 octobre et 17 décembre 2013
  23. 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
  24. 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
  25. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 25 avril 2013
  26. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait à 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013
  27. Faithful roundings of sum with nonnegative entries
    Exposé fait à JSIAM Meeting 2011, Doshisha University, Kyoto, Japan, September 14-16, 2011
  28. 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
  29. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 14 octobre 2010
  30. (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
  31. (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
  32. 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
  33. (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
  34. Accurate simple zeros of polynomials in floating point arithmetic
    Exposé fait au Groupe de Travail Arénaire, LIP, ENS Lyon, 23 avril 2009
  35. 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
  36. 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
  37. 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
  38. Produit précis de nombres flottants
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  39. Accurate Floating Point Product
    Exposé fait au Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
  40. (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
  41. 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
  42. Algorithme de Horner compensé en précision finie et applications
    Exposé fait au séminaire SPIRAl/SALSA, LIP6, Université Paris 6, 1 juin 2007
  43. Quelle précision pour le raffinement itératif ?
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Montpellier, 22 janvier 2007
  44. 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
  45. 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
  46. Pseudozero Set of Interval Polynomials
    Exposé fait au 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
  47. Évaluation précise de polynômes en précision finie
    Exposé fait au séminaire du projet SPACES, LORIA, Nancy, 6 avril 2006
  48. Pseudozero set of multivariate polynomials
    Exposé fait au 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006
  49. 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
  50. Pseudozeros, stability radius and interval polynomials
    Exposé fait à Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, September 25-30, 2005
  51. Structured Perturbations in Scalar Product Spaces
    Exposé fait à Foundations of Computational Mathematics, University of Cantabria, Santander, Spain, 30 June - 9 July 2005
  52. Pseudozéros de polynômes d'intervalles
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  53. Pseudozéros de polynômes d'intervalles
    Exposé fait aux Journées AriNews, ENS de Lyon, Lyon, 7-8 mars 2005
  54. 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
  55. Somes results on structured pseudospectra
    Exposé fait à Pseudospectra and Structural Dynamics, University of Bristol, December 13-15, 2004
  56. 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
  57. 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
  58. 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
  59. 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
  60. Quelques applications des pseudozéros de polynômes
    Exposé fait au séminaire du laboratoire MANO, Université de Perpignan, 25 mars 2004
  61. Some applications of polynomial pseudozero set
    Exposé fait à New Frontiers in Computational Mathematics, University of Manchester, January 10-11, 2004
  62. Calcul du rayon de stabilité pour les polynômes
    Exposé fait aux Journées AriNews, 17-18 novembre 2003, Lyon
  63. Testing polynomial primality with pseudozeros
    Exposé fait à la Fifth Conference on Real Numbers and Computers, Lyon, France, septembre 2003
  64. Calcul algébrique approché, une introduction
    Exposé fait aux journées 4e année, 24 janvier 2003, ÉNS Cachan, antenne de Bretagne
  65. 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 : 19 août 2022)