- Laboratoire de l'Informatique du Parall elisme
- Modlisation du dveloppementModlisation du dveloppement microbien dans un aliment etmicrobien dans un aliment et
- , , 112 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Interval Newton iteration in multiple precision for the univariate case
- Laboratoire de l'Informatique du Parall elisme Ecole Normale Superieure de Lyon
- L'arithmtique des ordinateurs
- Laboratoire de l'Informatique du Paralllisme cole Normale Suprieure de Lyon
- IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? 2004 1 A New Range-Reduction Algorithm
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Proposal for a Standardization of Mathematical Function Implementation
- Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision
- Vitae for Nathalie Revol Nathalie REVOL
- L'analyse numrique Pour la plupart des objets et services du quotidien, la phase de conception s'est appuye sur la simula-
- Arithmtique des ordinateurs
- Historique Syst`emes dynamiques Equations Numerique Couches limites Stabilite Turbulence La mecanique des fluides
- Preuves automatiques de certaines identites, d'apr`es M. Petkovsek, H. Wilf et D. Zeilberger
- Squences et structures alatoires pour l'analyse des gnomes
- &DSWHXUV ORJLFLHOV SRXU OHV V\VWqPHV ELRORJLTXHV Capteurs logiciels pour les
- Preuves automatiques de certaines identites, d'apr`es M. Petkovsek, H. Wilf et D. Zeilberger
- Mousse au chocolat dite de la demande en mariage Chocolate mousse of the proposal
- Calcul alg ebrique et formel J. Davenport, T. Gautier, N. Revol, J.-L. Roch et G. Villard
- Parallel evaluation of arithmetic circuits Nathalie REVOL and JeanLouis ROCH
- Introduction `a l'arithmetique par intervalles Nathalie Revol
- Taylor models and oating-point arithmetic: proof that arithmetic operations are validated
- ModModlisation du dlisation du dveloppementveloppement microbien dans un aliment etmicrobien dans un aliment et
- Syst`emes dynamiques Jean Della Dora, Thierry Gautier et Nathalie Revol
- Modlisation du dveloppementModlisation du dveloppement microbien dans un aliment etmicrobien dans un aliment et
- Comparaison de squences 2 2Comparaison de squences 2 2 Alain Denise
- Les modles numriques en hydrologie et en hydraulique
