View source for Publications du projet/Publications of the project

=== Articles in international journals ===

* [[Media:DinechinLauterMullerTorres2013.pdf|Florent de Dinechin, Christoph Lauter, Jean-Michel Muller, and Serge Torres, "On Ziv's Rounding Test", ACM Transactions on Mathematical Software,  Vol. 39 No 4, 2013.]]

* [[Media:MartinDorelMelquiondMuller.pdf|Erik Martin-Dorel, Guillaume Melquiond, and Jean-Michel Muller, "Some issues related to double rounding", to appear in BIT Numerical Mathematics (DOI: 10.1007/s10543-013-0436-2).]]

* 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 ===

* [[Media:BrisebarreEtAlArith20.pdf | Nicolas Brisebarre, Mioara Joldes, Peter Kornerup, Erik Martin-Dorel and Jean-Michel Muller, ''Augmented precision square roots, 2-D norms, and discussion on correctly rounding sqrt(x^2+y^2)'', 20th IEEE Symposium on Computer Arithmetic (Arith-20), Tuebingen, Germany, July 25-27, 2011.]]

* [[Media:DedinechinEtAlASAP2010.pdf | Florent de Dinechin, Jean-Michel Muller, Bogdan Pasca and Alexandru Plesco, ''An FPGA architecture for solving the Table Maker's Dilemma'', Proc.22nd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'2011), Santa Monica, USA, Sept. 2011, ''Best paper award''.]]

* [[Media:GouicemPDP2012.pdf | Pierre Fortin, Mourad Gouicem, Stef Graillat, ''Towards solving the Table Maker's Dilemma on GPU'', 20th Euromicro international conference on Parallel, Distributed, and Network-Based Processing (PDP'2012), Garching, Germany, 2012.]]

* [[Media:BrisebarreEtAlNFM2012.pdf | N. Brisebarre, M. Joldes, E. Martin-Dorel, M. Mayero, J.-M. Muller, I. Pasca, L. Rideau, and L. Théry, ''Rigorous Polynomial Approximation Using Taylor Models in Coq'', Proc. NFM 2012, The 4th NASA Formal Methods Symposium (LNCS No 7226), Norfolk, Virginia, USA, April 3-5, 2012.]]

* [[Media:BrisebarreEtAlASAP2012.pdf | Nicolas Brisebarre, Milos Ercegovac, and Jean-Michel Muller, ''(M,p,k)-friendly points: a table-based method for trigonometric function evaluation'', Proc.23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'2012), Delft, The Netherlands, 9-11 juillet 2012.]]

* [[Media:BrisebarreEtAl2013.pdf|Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, and Jean-Michel Muller, Comparison between binary64 and decimal64 floating-point numbers, 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013.]]

* [[Media:JeannerodEtAl2013.pdf|Claude-Pierre Jeannerod, Nicolas Louvet, and Jean-Michel Muller, On the componentwise accuracy of complex floating-point division with an FMA, 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013.]]

* 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 &mdash; Thèses ===

* Erik Martin-Dorel, [http://erik.martin-dorel.org/papers/MARTIN-DOREL_Erik_2012_these.pdf Contributions to the Formal Verification of Arithmetic Algorithms], Ecole Normale Supérieure de Lyon, 26 septembre 2012

=== 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. [http://perso.ens-lyon.fr/jean-michel.muller/LMS-Colloquium-2012.pdf 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 ===

* Érik Martin-Dorel, Micaela Mayero, Ioana Paşca, Laurent Théry and Laurence Rideau [http://hal.inria.fr/hal-00845791/en/ Certified, Efficient and Sharp Univariate Taylor Models in COQ], 2013

* Pierre Fortin, Mourad Gouicem and Stef Graillat, [http://arxiv.org/abs/1211.3056 GPU-accelerated generation of correctly-rounded elementary functions], 2nd version, June 2013