Nathalie Revol

Nathalie Revol

École Normale Supérieure de Lyon - Lyon / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1661225
Normal Superior School of Lyon
person_outline Nathalie Revol's MOST POPULAR ARTICLES
1-) Handbook of floating-point arithmeticJM Muller, N Brisebarre, F De Dinechin, CP Jeannerod, V Lefevre, ...Birkhäuser, 20188032018
2-) Motivations for an arbitrary precision interval arithmetic and the MPFI libraryN Revol, F RouillierReliable computing 11 (4), 275-290, 20051802005
3-) Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSYN Revol, K Makino, M BerzThe Journal of Logic and Algebraic Programming 64 (1), 135-154, 20051232005
4-) Multiple precision interval packages: Comparing different approachesM Grimmer, K Petras, N RevolNumerical Software with Result Verification: International Dagstuhl Seminar …, 2004452004
5-) A new range-reduction algorithmN Brisebarre, D Defour, P Kornerup, JM Muller, N RevolIEEE Transactions on Computers 54 (3), 331-339, 2005442005