Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 10 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	ensl-00693317v2 Article dans une revue Florent De Dinechin, Christoph Lauter, Jean-Michel Muller, Serge Torres. On Ziv's rounding test ACM Transactions on Mathematical Software, Association for Computing Machinery, 2013, 39 (4), pp.26
	ensl-01529804v1 Rapport Catherine Daramy-Loirat, David Defour, Florent De Dinechin, Matthieu Gallet, Nicolas Gast et al. CR-LIBM A library of correctly rounded elementary functions in double-precision [Research Report] LIP,. 2006
	ensl-00278430v1 Pré-publication, Document de travail Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic Rapport de recherche LIP n° 2008-15. 23 pages. 2008
	inria-00070330v1 Rapport Florent De Dinechin, Christoph Lauter, Guillaume Melquiond. Assisted verification of elementary functions RR-5683, INRIA. 2005, pp.17
	inria-00070331v1 Rapport Florent De Dinechin, Christoph Lauter, Jean-Michel Muller. Fast and correctly rounded logarithms in double-precision RR-5682, INRIA. 2005, pp.15
	inria-00071446v1 Rapport Florent De Dinechin, David Defour, Christoph Lauter. Fast correct rounding of elementary functions in double precision using double-extended arithmetic [Research Report] RR-5137, INRIA. 2004
	inria-00071560v1 Rapport Christoph Lauter. A correctly rounded implementationof the exponential function on the Intel Itanium architecture RR-5024, INRIA. 2003
	inria-00070314v1 Rapport Christoph Lauter. Basic building blocks for a triple-double intermediate format RR-5702, INRIA. 2005, pp.67
	ensl-00000007v2 Article dans une revue Jean-Michel Muller, Florent De Dinechin, Christoph Lauter. Fast and correctly rounded logarithms in double precision RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.85-102. <10.1051/ita:2007003>
	ensl-00737881v4 Communication dans un congrès Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter. Comparison between binary64 and decimal64 floating-point numbers Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. IEEE Computer Society, pp.145-152, 2013, <10.1109/ARITH.2013.23>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 10 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM