Publications du projet/Publications of the project

From TaMaDiWiki
Jump to: navigation, search

Contents

Articles in international journals

  • Hao Jiang, Stef Graillat, Shengguo Li, Xiangke Liao, Lizhi Cheng and Fang Su, Accurate evaluation of the k-th derivative of a polynomial, Journal of Computational and Applied Mathematics, Vol. 191, pp. 28-47, 2013

Chapters in books

  • Florent de Dinechin and Jean-Michel Muller, Evaluating Elementary Functions, in Princeton Companion to Applied Mathematics, Nicholas Higham editor, Princeton University Press, 2014 (to appear).

Communications to international conferences with published proceedings

  • Pierre Fortin, Mourad Gouicem, Stef Graillat, "Solving the Table Maker's Dilemma by reducing divergence on GPU", 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Novosibirsk, Russia, September 23-29, 2012.

PhD dissertations — Thèses

Communications to international conferences without published proceedings

  • Jean-Michel Muller, Exact computations with an arithmetic known to be approximate (invited talk), MaGiX@LiX 2011, Ecole Polytechnique, Sept. 2011
  • Nicolas Brisebarre, Mioara Joldes, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau and Laurent Théry, Certified Polynomial Approximation for solving the Table Maker's Dilemma, Types 2001, Bergen, Norway, Sept. 8-11 2011.
  • Jean-Michel Muller, Invited talk, Proof of Properties in Floating-Point Arithmetic, LMS computer science colloquium "Verification and Numerical Algorithms", London, November 13, 2012. slides
  • Jean-Michel Muller, Invited talk, Proof of Properties in Floating-Point Arithmetic, Continuity, Computability, Constructivity ? From Logic to Algorithms (CCC 2013), Swansea University/Gregynog, UK, 26-30 juin 2013.

Recent preprints