Brisebarre, Nicolas, 19..-...., chercheur en informatique mathématique
Brisebarre, Nicolas, 1971-
Brisebarre, Nicolas
Nicolas Brisebarre
VIAF ID: 281145177 ( Personal )
Permalink: http://viaf.org/viaf/281145177
Preferred Forms
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
- 511 2 _ ‡a Laboratoire de l'informatique du parallélisme (Lyon)
Works
Title | Sources |
---|---|
Calcul de paires invariantes et solvants matriciels. | |
Computation of invariant pairs and matrix solvents | |
Une etude de deux problemes diophantiens | |
Handbook of floating-point arithmetic | |
Outils pour la conception de bibliothèques de calcul de fonctions efficaces et fiables. | |
Outils robustes pour l’approximation de Chebyshev pondérée et applications à la synthèse de filtres numériques. | |
Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis. | |
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée | |
Rigorous Polynomial Approximations and Applications. | |
Robust tools for weighted Chebyshev approximation and applications to digital filter design | |
A STUDY OF TWO DIOPHANTINE PROBLEMS. | |
Tools for the Design of Reliable and Efficient Functions Evaluation Libraries |