| Handbook of floating-point arithmetic JM Muller, N Brisebarre, F De Dinechin, CP Jeannerod, V Lefevre, ... Birkhäuser, 2018 | 999 | 2018 |
| Motivations for an arbitrary precision interval arithmetic and the MPFI library N Revol, F Rouillier Reliable computing 11 (4), 275-290, 2005 | 206 | 2005 |
| Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY N Revol, K Makino, M Berz The Journal of Logic and Algebraic Programming 64 (1), 135-154, 2005 | 139 | 2005 |
| A new range-reduction algorithm N Brisebarre, D Defour, P Kornerup, JM Muller, N Revol IEEE Transactions on Computers 54 (3), 331-339, 2005 | 47 | 2005 |
| Multiple precision interval packages: Comparing different approaches M Grimmer, K Petras, N Revol Numerical Software with Result Verification: International Dagstuhl Seminar …, 2004 | 46 | 2004 |
| Proposal for a standardization of mathematical function implementation in floating-point arithmetic D Defour, G Hanrot, V Lefevre, JM Muller, N Revol, P Zimmermann Numerical algorithms 37, 367-375, 2004 | 45 | 2004 |
| Numerical reproducibility and parallel computations: Issues for interval algorithms N Revol, P Théveny IEEE Transactions on Computers 63 (8), 1915-1924, 2014 | 40 | 2014 |
| Interval Newton iteration in multiple precision for the univariate case N Revol Numerical Algorithms 34, 417-426, 2003 | 33 | 2003 |
| Introduction to the IEEE 1788-2015 standard for interval arithmetic N Revol Numerical Software Verification: 10th International Workshop, NSV 2017 …, 2017 | 29 | 2017 |
| Introduction à l'arithmétique par intervalles N Revol INRIA, 2001 | 23 | 2001 |
| Computation of the error functions erf & erfc in arbitrary precision with correct rounding S Chevillard, N Revol INRIA, 2008 | 21 | 2008 |
| Qualité des calculs sur Ordinateur JC Bajard, O Beaumont, JM Chesneaux, M Daumas, J Erhel, ... Masson, 1997 | 18 | 1997 |
| A validated real function calculus P Collins, M Niqui, N Revol Mathematics in Computer Science 5, 437-467, 2011 | 17 | 2011 |
| First steps towards more numerical reproducibility F Jézéquel, P Langlois, N Revol ESAIM: Proceedings and Surveys 45, 229-238, 2014 | 14 | 2014 |
| A taylor function calculus for hybrid system analysis: Validation in coq P Collins, M Niqui, N Revol NSV-3: Third International Workshop on Numerical Software Verification., 2010 | 12 | 2010 |
| Parallel implementation of interval matrix multiplication N Revol, P Théveny Reliable Computing 19 (1), 91-106, 2013 | 10 | 2013 |
| Production of long hemp fibers using the flax value chain L Pinsard, N Revol, H Pomikal, E De Luycker, P Ouagne Fibers 11 (5), 38, 2023 | 9 | 2023 |
| Hardware implementation of floating-point arithmetic JM Muller, N Brunie, F de Dinechin, CP Jeannerod, M Joldes, V Lefèvre, ... Handbook of Floating-Point Arithmetic, 267-320, 2018 | 9 | 2018 |
| Solving and certifying the solution of a linear system HD Nguyen, N Revol Reliable Computing 15 (2), 120-131, 2011 | 9 | 2011 |
| Newton’s algorithm using multiple precision interval arithmetic N Revol Numerical Algorithms 34 (2), 417-426, 2003 | 9 | 2003 |
jean-michel mullerCNRS, Ecole Normale Supérieure de Lyon, INRIA, Université de LyonVerified email at ens-lyon.fr