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
	inria-00070739v1 Communication dans un congrès Marc Daumas, Guillaume Melquiond. Generating formally certified bounds on values and round-off errors Real Numbers and Computers, 2004, Dagstuhl, Germany. pp.55-70, 2004
	inria-00072536v1 Rapport Marc Daumas, Claire Moreau-Finot, Laurent Théry. Computer Validated Proofs of a Toolset for Adaptable Arithmetic [Research Report] RR-4095, INRIA. 2001
	inria-00072890v1 Rapport Marc Daumas, Claire Finot. Algorithm, Proof and Performances of a new Division of Floating Point Expansions [Research Report] RR-3771, INRIA. 1999
	inria-00072767v1 Article dans une revue Marc Daumas, David W. Matula. Further Reducing the Redundancy of a Notation over a Minimally Redundant Digit Set Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology, Springer, 2003, 33 (1-2), pp.7-18. <10.1023/A:1021133616373>
	inria-00070194v1 Rapport Francisco Cháves, Marc Daumas. A library of Taylor models for PVS automatic proof checker [Research Report] RR-5831, INRIA. 2006, pp.18
	inria-00071941v1 Rapport Marc Daumas, Sylvie Boldo. Necessary and sufficient conditions for exact floating point operations [Research Report] RR-4644, INRIA. 2002
	inria-00072115v1 Communication dans un congrès Sylvie Boldo, Marc Daumas. Properties of the subtraction valid for any floating point system 7th International Workshop on Formal Methods for Industrial Critical Systems, 2002, Málaga, Spain. pp.137-149, 0000
	tel-00147426v1 Thèse Marc Daumas. Contributions à l'Arithmétique des Ordinateurs : Vers une Maîtrise de la Précision Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français
	inria-00071879v1 Article dans une revue Sylvie Boldo, Marc Daumas. A simple test qualifying the accuracy of Horner's rule for polynomials Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.45-60. <10.1023/B:NUMA.0000049487.98618.61>
	inria-00072516v1 Article dans une revue Marc Daumas, Philippe Langlois. Additive Symmetric: the Non-Negative Case Theoretical Computer Science, Elsevier, 2003, 291 (2), pp.143-157. <10.1016/S0304-3975(02)00223-2>
		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