Publications

Thesis and habilitation

  1. Contribution to the increase of accuracy and validation of numerical algorithms
    Habilitation thesis, Université Pierre et Marie Curie, December 2013 --- Slides
  2. Fiabilité des algorithmes numériques : pseudosolutions structurées et précision
    PhD thesis, Université de Perpignan, November 2005 --- Slides

Book chapters, chapters for encyclopedia

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

Articles in journals

  1. New (with 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 (with Roman Iakymchuk and 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 (with Fabienne Jézéquel, Théo Mary and 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 and 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 (with Chuanying Li, Zhe Quan, Tong-Xiang Gu, Hao Jiang and 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. (with 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. (with Xiaojun Lei, Tong-Xiang, Hao Jiang and Jin Qi) A Fast Parallel High-Precision Summation Algorithm Based on AccSumK
    J. Comput. Appl. Math. 406 (2022), 113827
  9. (with 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. (with Fabienne Jézéquel) Tight interval inclusions with compensated algorithms
    IEEE Transactions on Computers 69 (2020), no. 12, 1774--1783
  11. (with Fabienne Jézéquel, Romain Picot, François Févotte, and Bruno Lathuilière) Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic
    Journal of Computational Science, 36 (2019), 101017 -- code
  12. (with Roman Iakymchuk, David Defour and Enrique Quintana-Orti) Hierarchical approach for deriving a reproducible unblocked LU factorization
    International Journal of High Performance Computing Applications, 33 (2019), no. 5, 791–803
  13. An accurate algorithm for evaluating rational functions
    Applied Mathematics and Computation, 337 (2018), 494-503
  14. (with Fabienne Jézéquel and Romain Picot) Numerical Validation of Compensated Algorithms with Stochastic Arithmetic
    Applied Mathematics and Computation, 329 (2018), 339-363
  15. (with Sylvie Boldo and Jean-Michel Muller) On the robustness of the 2Sum and Fast2Sum algorithms
    ACM Transactions on Mathematical Software, 44 (2017), no. 1, article 4
  16. (with Clothilde Jeangoudoux and Christoph Lauter) MPDI : A Decimal Multiple-Precision Interval Arithmetic Library
    Reliable Computing, 25 (2017), 38-52
  17. (with 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. (with Pierre Fortin, and Mourad Gouicem) GPU-accelerated generation of correctly-rounded elementary functions
    ACM Transactions on Mathematical Software, 43 (2016), no. 3, article 22
  19. (with Fabienne Jézéquel and Moustadrani Saïd Ibrahim) Dynamical control of Newton's method for multiple roots of polynomials
    Reliable Computing, 21 (2016), 117-139
  20. (with Hao Jiang, Roberto Barrio and Canqun Yang) Accurate, Validated and Fast Evaluation of Elementary Symmetric Functions and its application
    Applied Mathematics and Computation, 273 (2016), 1160-1178
  21. (with Christoph Lauter, Peter Tang, Naoya Yamanaka, and 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. (with Sylvain Collange, David Defour and Roman Iakymchuk) Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures
    Parallel Computing, 49 (2015), 83--97
  23. (with Vincent Lefèvre, and 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. (with Hao Jiang, Canbin Hu, Shengguo Lia, Xiangke Liao, Lizhi Cheng and Fang Su) Accurate evaluation of the k-th derivative of a polynomial
    J. Comput. Appl. Math. 243 (2013), 28--47
  25. (with 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. (with Fabienne Jézéquel, Shiyue Wang and Yuxiang Zhu) Stochastic Arithmetic in Multiprecision
    Math.Comput.Sci. 5 (2011), no. 4, 359--375
  27. (with Siegfried M. Rump) Verified error bounds for multiple roots of systems of nonlinear equations
    Numer. Algorithms, 54 (2010), no. 3, 359-377
  28. (with Philippe Langlois and Nicolas Louvet) Algorithms for accurate, validated and fast polynomial evaluation
    Japan J. Indust. Appl. Math., 26 (2009), no. 2-3, 191-214
  29. (with Jean-Luc Lamotte and 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. (with 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. (with 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

Articles in reefered conference proceedings

  1. New (with Quentin Ferro, Thibault Hilaire and 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
  2. New (with Youness Ibrahimy, Clothilde Jeangoudoux and 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 -- Slides
  3. New (with 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
  4. New (with Roman Iakymchuk and 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
  5. (with 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
  6. (with Fabienne Jézéquel, Enzo Queiros Martins and 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
  7. (with Fabienne Jézéquel, Daichi Mukunoki, Toshiyuki Imamura, and 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
  8. (with Vincent Lefèvre and 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
  9. (with Fabienne Jézéquel, Romain Picot, François Févotte and 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
  10. (with Roman Iakymchuk, David Defour, Erwin Laure and Enrique Quintana-Orti) Towards a Reproducible Solution of Linear Systems
    Supercomputing Conference (SC 2017), Computational Reproducibility at Exascale Workshop, Denver, CO, USA, 2017
  11. (with Roman Iakymchuk, Enrique Quintana-Orti and Erwin Laure) Towards Reproducible Blocked LU Factorization
    IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Orlando, FL, USA, 2017, p.1598-1607
  12. (with Roman Iakymchuk, David Defour and 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
  13. (with Roman Iakymchuk, David Defour, and 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
  14. (with Roman Iakymchuk, Sylvain Collange and 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
  15. (with Fabienne Jézéquel and 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)
  16. (with Roman Iakymchuk, David Defour and 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
  17. (with Hao Jiang and 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
  18. (with Pierre Fortin and 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
  19. (with 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
  20. (with Fabienne Jézéquel and Yuxiang Zhu) Stochastic arithmetic in multiprecision
    NSV3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
  21. (with 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
  22. (with Jean-Luc Lamotte and 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
  23. (with 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
  24. (with 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
  25. (with 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
  26. (with Philippe Langlois and 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
  27. Pseudozero set of multivariate polynomials
    Proceedings of 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006, p.131-141
  28. (with 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
  29. 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
  30. (with 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)
  31. (with 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

Articles in conference proceedings

  1. Accurate Floating Point Product
    Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008, p.351-361
  2. (with Nguyen Hong Diep and 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. (with 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. (with Philippe Langlois and 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 in international conferences (summary)

  1. (with Quentin Ferro, Thibault Hilaire and 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. (with Quentin Ferro, Thibault Hilaire and 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. (with Roméo Molina, Fabienne Jézéquel and 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. (with 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 17–22, 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. (with Roman Iakymchuk and 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. (with 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. (with Roman Iakymchuk, Daichi Mukunoki and 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 -- Slides
  11. (with Daichi Mukunoki, Roman Iakymchuk and 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 -- Slides
  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. (with 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. (with Youness Ibrahimy, Clothilde Jeangoudoux and 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. (with Fabienne Jézéquel, Romain Picot, François Févotte and 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. (with Clothilde Jeangoudoux and 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. (with Roman Iakymchuk and 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. (with 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. (with Roman Iakymchuk, Toshiyuki Imamura, Stefano Markidis, and Erwin Laure) A case study of the reproducibility issues in EigenExa
    Exascale Applications & Software Conference (EASC2016), Stockholm, Sweden, April 25-29, 2016
  22. (with Sylvain Collange, David Defour, and 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. (with Sylvain Collange, David Defour, and 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. (with Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanka, and 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. (with Sylvain Collange, David Defour and 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. (with Pierre Fortin and 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 (invited speaker)
    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 (invited speaker)
    CRC 2011, International Workshop on Certified and Reliable Computation, Nan Ning, Guang Xi, China, July 17-20, 2011
  29. (with Fabienne Jézéquel and 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 - Slides
  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. (with Jean-Luc Lamotte, Siegfried M. Rump and 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 --- Slides
  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. (with Philippe Langlois and 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. (with Philippe Langlois and 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. Extended version
  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. (with 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. Slides
  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

Unpublished research reports

  1. (with Jérémy Jean) Fast dot product over finite field
    Research report, hal-00450888
  2. (with Jean-Marie Chesneaux and Fabienne Jézéquel) Numerical validation and assessment of numerical accuracy
  3. (with Philippe Langlois and 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. (with Philippe Langlois) More on pseudozeros for univariate polynomials
    Prépublication no 32, Université de Perpignan, janvier 2004
  6. (with Philippe Langlois) Computation of stability radius for polynomials
    Prépublication no 31, Université de Perpignan, janvier 2004

Posters

  1. (with Roméo Molina, Fabienne Jézéquel and Théo Mary) Adaptive Precision Sparse MatrixVector Product and its Application to Krylov Solvers
    Presented at Sparse Days 2022, Saint-Girons, France, 20-22 June 2022
  2. (with Quentin Ferro, Thibault Hilaire, Fabienne Jézéquel and Basile Lewandowski) Neural Network Precision Tuning Using Stochastic Arithmetic
    Presented at Sparse Days 2022, Saint-Girons, France, 20-22 June 2022
  3. (with Roman Iakymchuk, Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki) Accurate and Reproducible Conjugate Gradient in Hybrid Parallel Environments
    Presented at ISC High Performance (ISC 2021), June 29th - July 2nd, 2021
  4. (with Chuanying Li, Hao Jiang and Zhe Quan) XHYPRE: A high-precision numerical software package for solving large-scale sparse linear equations -- poster
    Presented at ICPP 2021, 50th International Conference on Parallel Processing, Virtually in Chicago, Illinois, USA, August 9-12, 2021
  5. (with 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 and Franck Vedrine) InterFLOP, Interoperable Tools for Computing, Debugging, Validation and Optimization of Floating-Point Programs
    Presented at ISC-HPC 2021 DIGITAL, Jun 2021, Online, France
  6. (with 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
    Presented at the 2nd R-CCS international symposium, K to Fugaku: Simulation, Big Data and AI supporting Society 5.0, Kobe (Japan), Feb. 2020
  7. (with 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
    Presented at the International Conference on High Performance Computing in Asia-Pacific Region, Fukuoka (Japan), 15-17 January 2020
  8. (with 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
    Presented at the International Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Denver (USA), Nov. 2019
  9. (with 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
    Presented at the 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 and David Defour) ExBLAS: Reproducible and Accurate BLAS Library
    Presented at 7ème Rencontre Arithmétique de l'Informatique Mathématique (RAIM 2015), Rennes, France, April 7-9, 2015
  11. (with Hao Jiang and Roberto Barrio) Accurate Computing Elementary Symmetric Functions
    Presented at The 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
    Presented at the 7th Conference on Real Numbers and Computers, LORIA, Nancy, France, July 10-12, 2006
  13. Pseudozero set of multivariate polynomials
    Presented at the 8th International Workshop on Computer Algebra in Scientific Computing, Kalamata, Greece, September 12-16, 2005

Review of books

  1. Review of the book "Numerical methods for roots of polynomials. Part I" by John M. McNamee, Elsevier B. V., 2007. Mathematical Reviews, 2010

Talks in seminars

  1. On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
    Presented at AriC seminar, LIP, ENS Lyon, 16 december 2021
  2. Compensated algorithms with stochastic arithmetic and interval arithmetic
    Presented at the 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
    Presented at Webinar on Reproducible Research: Numerical reproducibility, May 3rd, 2016, Grenoble, France
  4. Numerical reproducibility and High-performance computing
    Presented at séminaire Maths-Info, Université Pierre et Marie Curie (UPMC), Paris, France, February 16th, 2016
  5. Verified error bounds for multiple roots of systems of nonlinear equations
    Presented at Journées "Méthodes de subdivisions pour les systèmes singuliers" de l'ANR SingCAST, Nantes, France, December 15-16, 2014
  6. Structured pseudospectra for matrices and matrix polynomials
    Presented at Structured Matrix Days, XLIM, Université de Limoges, France, May 26-27, 2014
  7. Arithmétique des ordinateurs et HPC
    Presented at séminaire de l'équipe HP2 de Télécom SudParis, Évry, April 9th, 2014
  8. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Presented at séminaire du LIF, Marseille, April 1st, 2014
  9. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Presented at Séminaire Calcul formel, XLIM, Limoges, March 27th, 2014
  10. Amélioration de la précision et validation des algorithmes numériques : le cas du calcul des racines de polynômes
    Presented at LIFL, Lille, March 17th, 2014
  11. Introduction to pseudozeros and pseudospectra
    Presented at the Groupe de travail AriC, LIP, ENS Lyon, October 1st and December 17th, 2013
  12. Some results concerning the increase of accuracy and validation of numerical algorithms
    Presented at 3D'13, DALI's Doctoral Day, Rivesaltes, November 12th, 2013
  13. Accurate evaluation of the k-th derivative of a polynomial and its application to the convergence of Newton's method
    Presented at the Groupe de Travail AriC, LIP, ENS Lyon, July 4th, 2013
  14. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Presented at Groupe de Travail PEQUAN, LIP6, UPMC, April 25th, 2013
  15. Verified error bounds for multiple roots of systems of nonlinear equations
    Presented at Groupe de Travail PEQUAN, LIP6, UPMC, October 14th, 2010
  16. Accurate simple zeros of polynomials in floating point arithmetic
    Presented at the Groupe de Travail Arénaire, LIP, ENS Lyon, April 23rd, 2009
  17. Accurate and High Performance Computing on the Cell processor
    Presented at the Young Investigators Symposium, Oak Ridge National Laboratory, Tennessee, USA, October 13-15, 2008
  18. Produit précis de nombres flottants
    Presented at Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  19. Algorithme de Horner compensé en précision finie et applications
    Presented at the "séminaire SPIRAl/SALSA", LIP6, Université Paris 6, 1 juin 2007
  20. Quelle précision pour le raffinement itératif ?
    Presented at the "Rencontres arithmétique de l'informatique mathématique", Montpellier, 22 janvier 2007
  21. Évaluation précise de polynômes en précision finie
    Presented at the "séminaire du projet SPACES", LORIA, Nancy, 6 avril 2006
  22. Accurate polynomial evaluation in floating point arithmetic
    Presented at the MIMS Numerical Analysis and Scientific Computing Seminars, The University of Manchester, Manchester, UK, February 10, 2006
  23. Pseudozéros de polynômes d'intervalles
    Presented at the École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  24. Pseudozéros de polynômes d'intervalles
    Presented at the 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
    Presented at the 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
    Presented at the "École Jeunes Chercheurs en Algorithmique et Calcul Formel", Grenoble, 29 mars - 2 avril 2004
  27. Quelques applications des pseudozéros de polynômes
    Presented at the "séminaire du laboratoire MANO", Université de Perpignan, 25 mars 2004
  28. Calcul du rayon de stabilité pour les polynômes
    Presented at the "Journées AriNews", 17-18 novembre 2003, Lyon
  29. Calcul algébrique approché, une introduction
    Presented at the "journées 4e année", 24 janvier 2003, ÉNS Cachan, antenne de Bretagne

Slides of talks

  1. On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
    Presented at 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
    Presented at AriC seminar, LIP, ENS Lyon, 16 december 2021
  3. Compensated algorithms with stochastic arithmetic and interval arithmetic
    Presented at 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
    Presented at the Numerical Analysis and Scientific Computing seminar, The University of Manchester, School of Mathematics, Manchester, UK, 3 May 2019
  5. Accurate Interval Matrix Computations
    Presented at 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
    Presented at SIAM Conference on Parallel Processing for Scientific Computing (PP18), Waseda University, Tokyo, Japan, March 7-10, 2018
  7. Interval computations with compensated algorithms
    Presented at Dagstuhl Seminar 17481 "Reliable Computation and Complexity on the Reals", Dagstuhl, Germany, November 26 - December 1, 2017
  8. A Parallel Compensated Horner Scheme
    Presented at ACA 2017, 23rd Conference on Applications of Computer Algebra, Jerusalem, Israel, July 17-21, 2017
  9. Accurate computations with polynomials
    Presented at The International Workshop on Numerical Verification and its Applications 2017, Miyako-jima, Okinawa, Japan, March 15-18, 2017
  10. A Parallel Compensated Horner Scheme
    Presented at the 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
    Presented at the International conference on Monte-Carlo techniques, 5-8 Jul 2016, Paris, France
  12. Numerical reproducibility and High-performance computing
    Presented at Webinar on Reproducible Research: Numerical reproducibility, May 3rd, 2016, Grenoble, France
  13. Numerical reproducibility and High-performance computing
    Presented at séminaire Maths-Info, Université Pierre et Marie Curie (UPMC), Paris, France, February 16th, 2016
  14. Reproducible Triangular Solvers for High-Performance Computing
    Presented at 12th International Conference on Information Technology : New Generations (ITNG 2015), Las Vegas, Nevada, USA, April 13-15, 2015
  15. A method of calculating faithful rounding of l2-norm for n-vectors
    Presented at 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, September 21-26, 2014
  16. Structured pseudospectra for matrices and matrix polynomials
    Presented at Structured Matrix Days, XLIM, Université de Limoges, France, May 26-27, 2014
  17. Arithmétique des ordinateurs et HPC
    Presented at séminaire de l'équipe HP2 de Télécom SudParis, Évry, Avril 9th, 2014
  18. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Presented at séminaire du LIF, Marseille, April 1st, 2014
  19. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Presented at Séminaire Calcul formel, XLIM, Limoges, March 27th, 2014
  20. Amélioration de la précision et validation des algorithmes numériques : le cas du calcul des racines de polynômes
    Presented at LIFL, Lille, March 17th, 2014
  21. Introduction to pseudozeros and pseudospectra
    Presented at the Groupe de travail AriC, LIP, ENS Lyon, October 1st and December 17th, 2013
  22. Some results concerning the increase of accuracy and validation of numerical algorithms
    Presented at 3D'13, DALI's Doctoral Day, Rivesaltes, November 12th, 2013
  23. Accurate evaluation of the k-th derivative of a polynomial and its application to the convergence of Newton's method
    Presented at the Groupe de Travail AriC, LIP, ENS Lyon, July 4th, 2013
  24. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Presented at Groupe de Travail PEQUAN, LIP6, UPMC, April 25th, 2013
  25. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Presented at 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013
  26. Faithful roundings of sum with nonnegative entries
    Presented at JSIAM Meeting 2011, Doshisha University, Kyoto, Japan, September 14-16, 2011
  27. Verified error bounds for multiple roots of systems of nonlinear equations
    Presented at CRC 2011, International Workshop on Certified and Reliable Computation, Nan Ning, Guang Xi, China, July 17-20, 2011
  28. Verified error bounds for multiple roots of systems of nonlinear equations
    Presented at Groupe de Travail PEQUAN, LIP6, UPMC, October 14th, 2010
  29. (with Jérémy Jean) A parallel algorithm for dot product over word-size finite field using floating-point arithmetic
    Presented at SYNASC2010, the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010
  30. (with Fabienne Jézéquel and Yuxiang Zhu) Stochastic arithmetic in multiprecision
    Presented at NSV3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
  31. Computation of dot products in finite fields with floating-point arithmetic
    Presented at Computer-assisted proofs - tools, methods and applications, Dagstuhl Seminar, Germany, November 15-20, 2009
  32. (with Philippe Trébuchet) A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system
    Presented at the International Symposium on Symbolic and Algebraic Computation, Seoul, Korea, July 28-31, 2009
  33. Accurate simple zeros of polynomials in floating point arithmetic
    Presented at the Groupe de Travail Arénaire, LIP, ENS Lyon, April 23rd, 2009
  34. Accurate and High Performance Computing on the Cell processor
    Presented at the Young Investigators Symposium, Oak Ridge National Laboratory, Tennessee, USA, October 13-15, 2008
  35. Accurate simple zeros of polynomials
    Presented at 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
  36. Compensated Horner scheme in complex floating point arithmetic
    Presented at the 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, July 7-9, 2008
  37. Produit précis de nombres flottants
    Presented at Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  38. Accurate Floating Point Product
    Presented at the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
  39. (with Nguyen Hong Diep and Jean-Luc Lamotte) Precise and effective scientific calculation on the Cell processor
    Presented at the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
  40. Error-free transformations in real and complex floating point arithmetic
    Presented at the International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, September 16-19, 2007
  41. Algorithme de Horner compensé en précision finie et applications
    Presented at the "séminaire SPIRAl/SALSA", LIP6, Université Paris 6, 1 juin 2007
  42. Quelle précision pour le raffinement itératif ?
    Presented at the "Rencontres arithmétique de l'informatique mathématique", Montpellier, January 22, 2007
  43. Validated Pseudozero Set of Polynomials
    Presented at the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 26-29, 2006
  44. Choosing a twice more accurate dot product implementation
    Presented at the International Conference of Numerical Analysis and Applied Mathematics 2006, Hotel Belvedere Imperial, Hersonnisos, Crete, Greece, September 15-19, 2006
  45. Pseudozero Set of Interval Polynomials
    Presented at the 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
  46. Évaluation précise de polynômes en précision finie
    Presented at the "séminaire du projet SPACES", LORIA, Nancy, 6 avril 2006
  47. Pseudozero set of multivariate polynomials
    Presented at the 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006
  48. Accurate polynomial evaluation in floating point arithmetic
    Presented at the MIMS Numerical Analysis and Scientific Computing Seminars, The University of Manchester, Manchester, UK, February 10, 2006
  49. Pseudozeros, stability radius and interval polynomials
    Presented at the Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, September 25-30, 2005
  50. Structured Perturbations in Scalar Product Spaces
    Presented at Foundations of Computational Mathematics, University of Cantabria, Santander, Spain, 30 June - 9 July 2005
  51. Pseudozéros de polynômes d'intervalles
    Presented at the École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  52. Pseudozéros de polynômes d'intervalles
    Presented at the Journées AriNews, ENS de Lyon, Lyon, 7-8 mars 2005
  53. Les pseudozéros : application en contrôle et en arithmétique d'intervalles
    Presented at the groupe de travail sur les Méthodes Ensemblistes, GDR MACS, ENSAM, Paris, 3 février 2005
  54. Somes results on structured pseudospectra
    Presented at the Pseudospectra and Structural Dynamics, University of Bristol, December 13-15, 2004
  55. A comparison of real and complex pseudozero sets for polynomials with real coefficients
    Presented at the Sixth Conference on Real Numbers and Computers, Schloss Dagstuhl, Germany, November 15-17, 2004
  56. 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
  57. Pseudozero set decides on polynomial stability
    Presented at the Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, July 5-9, 2004
  58. Pseudozéros de polynômes : théorie et applications
    Presented at the "École Jeunes Chercheurs en Algorithmique et Calcul Formel", Grenoble, 29 mars - 2 avril 2004
  59. Quelques applications des pseudozéros de polynômes
    Presented at the "séminaire du laboratoire MANO", Université de Perpignan, 25 mars 2004
  60. Some applications of polynomial pseudozero set
    Presented at the New Frontiers in Computational Mathematics, University of Manchester, January 10-11, 2004
  61. Calcul du rayon de stabilité pour les polynômes
    Presented at the "Journées AriNews", 17-18 novembre 2003, Lyon
  62. Testing polynomial primality with pseudozeros
    Presented at the Fifth Conference on Real Numbers and Computers, Lyon, France, septembre 2003
  63. Calcul algébrique approché, une introduction
    Presented at the "journées 4e année", 24 janvier 2003, ÉNS Cachan, antenne de Bretagne
  64. Pseudozéros numériques pour polynômes symboliques
    Presented at the "journées Liens Calcul Numérique-Calcul Formel", 4-6 décembre 2002, Toulouse

Miscellaneous

  1. Pseudozéros et pgcd de polynômes en précision finie
    Master report, LIP ÉNS Lyon, 2001 --- Transparents
  2. Simulation numérique d'un procédé de mouillage d'un solide
    Internship report, ENSIMAG 2nd year, 2000
  3. (avec A. Gélinet). Calcul des valeurs propres et des vecteurs propres d'une matrice de perturbation
    Internship report, ENSIMAG 2nd year, 2000
Valid HTML 4.01! Valid CSS! Stef Graillat
(Last modification : August 19th, 2022)