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 3 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00544808v1 Communication dans un congrès Florent De Dinechin, Claude-Pierre Jeannerod, David Pfannholzer, Nathalie Revol. Code generation for argument filtering and argument reduction in elementary functions SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2010, Lyon, France. 2010
	inria-00473767v1 Rapport Vincent Lefèvre, Philippe Théveny, Florent De Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron et al. LEMA: Towards a Language for Reliable Arithmetic [Research Report] RR-7258, INRIA. 2010, pp.15
	inria-00542143v1 Communication dans un congrès Vincent Lefèvre, Philippe Théveny, Florent De Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron et al. LEMA: Towards a Language for Reliable Arithmetic International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. ACM, 44, pp.41-52, 2010, ACM Communications in Computer Algebra. <10.1145/1838599.1838622>
		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 3 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM