Nathalie Revol

Cited by

	All	Since 2019
Citations	1852	677
h-index	14	7
i10-index	16	5

140

105

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 22 46 66 47 45 38 54 83 93 86 84 103 123 129 97 124 115 122 95 111 110

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

jean-michel mullerCNRS, Ecole Normale Supérieure de Lyon, INRIA, Université de LyonVerified email at ens-lyon.fr
Vincent LefèvreINRIA / LIPVerified email at vinc17.net
Florent de Dinechinprofessor, INSA-LyonVerified email at insa-lyon.fr
Claude-Pierre JeannerodResearcher at Inria (ENS de Lyon, France)Verified email at ens-lyon.fr
Guillaume MelquiondInria, University Paris SaclayVerified email at inria.fr
Damien StehléCryptoLabVerified email at cryptolab.co.kr
Fabrice RouillierINRIAVerified email at inria.fr
Hong Diep NguyenUC BerkeleyVerified email at ens-lyon.org
Defour DavidUniversity of PerpignanVerified email at univ-perp.fr
Peter KornerupProfessor emeritus, University of Southern DenmarkVerified email at imada.sdu.dk
Kyoko MakinoProfessor of Physics, Michigan State UniversityVerified email at msu.edu
Marc DaumasProfesseur d'informatique, Université de Perpignan, Laboratoire PROMESVerified email at promes.cnrs.fr
Pieter CollinsDepartment of Data Science and Knowledge Engineering, Maastricht UniversityVerified email at maastrichtuniversity.nl
John PryceProfessor Mathematics, Cardiff UniversityVerified email at cardiff.ac.uk
Ralph Baker KearfottUniversity of Louisiana at LafayetteVerified email at louisiana.edu
Géraldine MorinProfessorVerified email at irit.fr

Nathalie Revol

Research Scientist, INRIA, LIP-ENS de Lyon, France

Verified email at ens-lyon.fr

Computer Arithmetic Interval Arithmetic Reliable Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Handbook of floating-point arithmetic JM Muller, N Brisebarre, F De Dinechin, CP Jeannerod, V Lefevre, ... Birkhäuser, 2018	958	2018
Motivations for an arbitrary precision interval arithmetic and the MPFI library N Revol, F Rouillier Reliable computing 11 (4), 275-290, 2005	207	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
Multiple precision interval packages: Comparing different approaches M Grimmer, K Petras, N Revol Numerical Software with Result Verification: International Dagstuhl Seminar …, 2004	45	2004
A new range-reduction algorithm N Brisebarre, D Defour, P Kornerup, JM Muller, N Revol IEEE Transactions on Computers 54 (3), 331-339, 2005	44	2005
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	44	2004
Numerical reproducibility and parallel computations: Issues for interval algorithms N Revol, P Théveny IEEE Transactions on Computers 63 (8), 1915-1924, 2014	39	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	22	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
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
The MPFI library N Revol, F Rouillier	9	2001
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	8	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors