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 11 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00100985v1 Communication dans un congrès Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the mpfi library SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada, 2002
	inria-00072320v1 Rapport David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol. A New Range Reduction Algorithm [Research Report] RR-4267, INRIA. 2001
	inria-00072417v1 Rapport Philippe Langlois, Nathalie Revol. Validating Polynomial Numerical Computations with Complementary Automatic Methods [Research Report] RR-4205, INRIA. 2001
	inria-00072521v1 Rapport Yahya Ould Mohamed El Hadj, Nathalie Revol. Parallelization of Automatic Speech Recognition [Research Report] RR-4110, INRIA. 2001
	inria-00072290v1 Rapport Nathalie Revol. Introduction à l'arithmétique par intervalles [Rapport de recherche] RR-4297, INRIA. 2001
	inria-00072253v1 Rapport Nathalie Revol. Interval Newton Iteration in Multiple Precision for the Univariate Case [Research Report] RR-4334, INRIA. 2001
	inria-00072090v1 Rapport Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the MPFI library [Research Report] RR-4498, INRIA. 2002
	inria-00071249v1 Rapport David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol et al. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic [Research Report] RR-5406, INRIA. 2004
	inria-00071850v1 Rapport Nathalie Revol, K. Makino, M. Berz. Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY RR-4737, INRIA. 2003
	ensl-00086904v1 Article dans une revue Jean-Michel Muller, Nicolas Brisebarre, Peter Kornerup, David Defour, Nathalie Revol. A new range-reduction algorithm IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. <10.1109/TC.2005.36>
	inria-00099967v1 Article dans une revue David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol et al. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.367-375
		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 11 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM