List of Publications
Copyright notice:
Some material is presented to ensure timely dissemination of scholarly and technical work.
Copyright and all rights therein are retained by authors or by other copyright holders.
All persons copying this information are expected to adhere to the terms and constraints
invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of the copyright holder.

International journals
 L. Benet, L. Ferranti and N. Revol
A framework to test interval arithmetic libraries and their IEEE
17882015 compliance,
Concurrency and Computation: Practice and Experience (2023): e7856.
 N. Revol
Affine Iterations and Wrapping Effect: Various Approaches,
Acta Cybernetica, vol. 26, no 1, pp 129147, 2023.
(Preprint.)
 N. Revol and P. Théveny
Numerical reproducibility and parallel computations: Issues for interval algorithms,
IEEE Transactions on Computers, vol. 63, no 8, pp 19151924, 2014.
DOI: 10.1109/TC.2014.2322593
(Preprint.)
 N. Revol and P. Théveny
Parallel Implementation of Interval Matrix Multiplication,
Reliable Computing, vol. 19, no. 1, pp 91106, 2013.
 P. Collins, M. Niqui and N. Revol
A Validated Real Function Calculus,
Mathematics in Computer Science, vol. 5, no 4, pp 437467, 2011.
 H. D. Nguyen and N. Revol
Solving and Certifying the Solution of a Linear System,
Reliable Computing, vol. 15, issue 2, pp 120131, 2011.
 N. Brisebarre, D. Defour, P. Kornerup, J.M. Muller and N. Revol
A new range reduction algorithm,
IEEE Transactions on Computers vol. 54, no 3, pp 331339, 2005.
(bibtex ref,
original publication,
PDF).
Presented at the 35th Conference on signals, systems and computers,
Asilomar, USA, 47 November 2001.
Research
report RR 200133, LIP, École Normale Supérieure de Lyon
and INRIA research report
RR4267.
 N. Revol and F. Rouillier
Motivations for an arbitrary precision interval arithmetic and the MPFI library,
Reliable Computing, vol. 11, no 4, pp 275290, 2005
(bibtex ref,
original publication,
PDF).
Presented at the Validated Computing conference, Toronto, Canada, 2325 May 2002
Research
report RR 200227, LIP, École Normale Supérieure de Lyon
and INRIA
research report RR4498.
 N. Revol, K. Makino and M. Berz
Taylor models and floatingpoint arithmetic: proof that arithmetic operations
are validated in COSY,
Journal of Logic and Algebraic Programming, vol. 64, pp 135154, 2005
(bibtex ref,
PostScript).
Research
report RR 200311, LIP, École Normale Supérieure de Lyon,
INRIA research report RR4737 and
Michigan State University with the reference
MSU Department of Physics Report MSUHEP30212.
 D. Defour, G. Hanrot, V. Lefèvre, J.M. Muller, N. Revol
and P. Zimmermann
Proposal for a standardization of mathematical function implementation
in floatingpoint arithmetic,
Numerical Algorithms, vol. 37, no 14, pp 367375, 2004
(bibtex ref,
original publication,
PDF).
Presented at the SCAN conference, Paris, France, 2427 September 2002.
 N. Revol
Interval Newton iteration in multiple precision
for the univariate case
Numerical Algorithms, vol 34, no 2, pp 417426, 2003
(bibtex ref,
original publication,
PostScript).
Presented at the conference NA'2001 (Numerical Algorithms), dedicated to
Claude Brezinski on the occasion of his 60th birthday, Marrakesh, Morocco,
15 October 2001.
Research
report RR 200149, LIP, École Normale Supérieure de Lyon
and INRIA research report RR4334,
extended version of the previous paper.
 N. Revol and J.C. Yakoubsohn
Accelerated ShiftandAdd algorithms,
Reliable Computing, vol. 6, no 2, pp. 193205, 2000
(bibtex ref,
original publication,
PDF).
Presented at SCAN'98,
Hungary, Sept. 1998.
(abstract).
Accelerated shiftandadd algorithms for an hardware implementation
of elementary functions,
research report, extended version of the previous paper
(abstract
and PostScript).
 N. Revol and J.L. Roch
Parallel evaluation of arithmetic circuits,
Theoretical Computer Science A, vol. 162, no 1, pp. 133150, July 1996
(bibtex ref,
original publication,
PostScript).

Books and chapters in books
 N. Revol
Influence of the Condition Number on Interval Computations: Illustration on Some Examples,
in honour of Vladik Kreinovich'65th birthday.
In Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, Springer Studies in Computational Intelligence vol 835, pp. 359373, 2020.
(Preprint.)
 J.M. Muller, N. Brunie, F. de Dinechin, C.P. Jeannerod, M. Joldes, V. Lefèvre, G. Melquiond, N. Revol, and Serge Torres,
Handbook of FloatingPoint Arithmetic,
Birkhäuser Basel, 2nd edition, 2018.
 C.P. Jeannerod and N. Revol
Analyser et encadrer les erreurs dues à l'arithmétique flottante (in french),
in Informatique mathématique: une photographie en 2017, CNRS Editions ISSN 9782271115232, pp. 115144, 2017.
 J.M. Muller, N. Brisebarre, F. de Dinechin, C.P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé and Serge Torres,
Handbook of FloatingPoint Arithmetic,
Birkhäuser Boston, 2010.
 F. de Dinechin, M.D. Ercegovac, J.M. Muller and N. Revol
Digital Arithmetic, in
Encyclopedia of Computer Science and Engineering, pp. 935948,
Benjamin W. Wah editor, Hoboken, NJ, January 2009.
 J.C. Bajard, O. Beaumont, J.M. Chesneaux, M. Daumas, J. Erhel,
D. Michelucci, J.M. Muller, B. Philippe, N. Revol, J.L. Roch, J. Vignes
coordonné par M. Daumas et J.M. Muller
Qualité des calculs sur ordinateurs,
chapitre Arithmétique multiprécision avec J.C. Bajard,
Masson, 1997,
bibtex ref,
(Click here for an overview and the table of contents)

Edition
 J. Hormigo, J.M. Muller, S. Oberman, N. Revol, A. Tisserand and J. VillalbaMoreno
Guest editors of a special issue on Computer Arithmetic in
IEEE Transactions on Computers, vol. 66, no 12, 2017.
 G. Alefeld and N. Revol
Guest editors of a topical issue of
Computing, vol. 94, issues 24, March 2012.
 P. Hertling, C. Hoffmann, W. Luther and N. Revol
Guest editors of a special issue on Reliable Implementation of Real Number Algorithms: Theory and Practice,
Lecture Notes in Computer Science, volume 5045, 2008.
 M. Daumas and N. Revol
Guest editors of a special issue on Real Numbers and Computers,
Theoretical Computer Science, volume 351, issue 1, February 2006.
 S. El Hajji, N. Revol and P. Van Dooren
Guest editors of a special issue on Linear Algebra and Arithmetic,
Journal of Computational and Applied Mathematics, vol 162, no 1, 2004.

National journals
 N. Revol
Un numéro spécial 100& rédigé par des femmes : pourquoi ?,
MathemaTICE numéro spécial no 86, septembre 2023.
 F. Jézéquel, Ph, Langlois and N. Revol
First steps towards more numerical reproducibility,
ESAIM: M2AN (Mathematical Modelling and Numerical Analysis), vol. 45, pp. 229238, 2014.
 F. Langrognet, F. Jézéquel and N. Revol
JDEV 2013 : Développer pour calculer,
part Des outils pour calculer avec précision
and part Comment calculer avec des intervalles (in french),
HPC magazine, 2013.
 N. Revol
Arithmétique par intervalles,
Calculateurs Parallèles et Systèmes Répartis, vol 13, pp 387426, 2001
(in french)
(bibtex ref,
résumé).
Introduction à l'arithmétique par intervalles,
research report
RR 200141, LIP, École Normale Supérieure de Lyon
and INRIA research report RR4297,
extended version of the previous paper.

Conferences with referees and proceedings
 N. Revol, L. Benet Fernández, L. Ferranti, and S. Zhilin
Testing interval arithmetic libraries, including their IEEE1788 compliance (preprint),
PPAM 2022: 14th International Conference on Parallel Processing and Applied Mathematics,
Gdansk, Poland, 1114 September 2022. Springer LNCS 13827, pp. 428440, 2023.
 N. Revol
The MPFI Library: Towards IEEE 17882015 Compliance,
PPAM 2019: 13th International Conference on Parallel Processing and Applied Mathematics,
Bialystok, Poland, 811 September 2019. Springer LNCS 12044, pp. 353363, 2020.
 N. Revol
Introduction to the IEEE 17882015 Standard for Interval Arithmetic,
invited plenary conference at
NSV17: 10th International Workshop on Numerical Software Verification 2017,
Springer LNCS 10381, pp. 1421,
Heidelberg, Germany, 2223 July 2017. (DOI: 10.1007/9783319635019)
 N. Revol
Latest developments on the IEEE 1788 effortt for the standardization of interval arithmetic,
ICVRAM & ISUMA  Second International Conference on Vulnerability and Risk Analysis and Management
& Sixth International Symposium on Uncertainty Modelling and Analysis,
Liverpool, United Kingdom, July 1316, 2014, (10 pages, ASCE publisher).
 H. D. Nguyen and N. Revol
Refining and verifying the solution of a linear system,
In SNC 2011  SymbolicNumeric Computation, San Jose, California, June 79, 2011.
ACM Digital Library (3 pages).
 N. Revol
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries,
presented at the ICMS 2010  The Third International Congress on Mathematical Software conference, Kobe, Japan, 1317 September 2010.
Lecture Notes in Computer Science 6327, pp 337341.
 H. D. Nguyen and N. Revol
High performance linear algebra using interval arithmetic,
In PASCO'10 4th International Workshop in Parallel and
Symbolic Computation, Grenoble, France, ACM Digital Library pp 171172, 2010.
 V. Lefèvre, P. Théveny, F. de Dinechin, C.P. Jeannerod, C. Mouilleron, D. Pfannholzer, N. Revol
LEMA: Towards a Language for Reliable Arithmetic,
presented at the PLMMS 2010
Programming Languages for Mechanized Mathematics Systems conference, Paris, France, 8th July 2010.
(text available here).
 S. Chevillard, N. Revol
Computation of the error function erf in arbitrary precision with correct rounding,
presented at the RNC8 (Real Numbers and Computers) conference, pages 2736, Santiago de Compostela, Spain, 79 July 2008.
 R.B. Kearfott,
J. Pryce and N. Revol
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021,
ISBN:9783642015908
followup of the seminary on Numerical
Validation in Current Hardware Architectures, at Dagstuhl, Germany, held 611
January, 2008.
Lecture Notes in Computer Science no 5492, pp 16, 2009.
bibtex ref,
Research
report RR 200332, LIP, École Normale Supérieure de Lyon
and INRIA
research report RR4841.
 M. Grimmer,
K. Petras and N. Revol
Multiple Precision Interval Packages: Comparing Different Approaches,
followup of the seminary on Numerical
Software with Result Verification, at Dagstuhl, Germany, held 1924
January, 2003.
Lecture Notes in Computer Science no 2991, pp 6490, 2004.
bibtex ref,
Research
report RR 200332, LIP, École Normale Supérieure de Lyon
and INRIA
research report RR4841.
 N. Revol, Y. Denneulin, J.F. Méhaut and B. Planquelle
A methodology of parallelization for continuous verified global optimization,
PPAM 2001 (Parallel Processing and Applied
Mathematics),
Naleczów, Poland, 912 September 2001,
Lecture Notes in Computer Science no 2328, pp 803810, 2002.
bibtex ref,
Research report ANO 404,
extended (old) version of the previous paper.
 B. Planquelle, J.F. Méhaut and N. Revol
Multiprotocol communications and high performance networks,
EuroPar'99,
Toulouse, France, September 1999. Lecture Notes in Computer Science no 1685, pp 139143.
bibtex ref.
Multiprotocol communications and high performance networks,
research report 199923, LIP, Ecole Normale Supérieure de Lyon, March 1999
(PostScript).
 B. Planquelle, J.F. Méhaut and N. Revol
MCPM2: Multicluster approach with PM2,
Parallel and Distributed Processing Techniques
and Applications,
Las Vegas, Nevada, June 1999,
pp. 779785, vol. II. CSREA Press,
bibtex ref.
 N. Revol and J.L. Roch
Automatic parallelization of numerical programs in fields and lattices,
Numerical Methods and Applications, Bulgaria, August 1994,
pp 265273, World Scientific
bibtex ref,
(abstract).

Conferences
 N. Revol
Testing Interval Arithmetic Libraries,
invited plenary conference at SWIM 2022: Summer Workshop on Interval Methods,
Hanover, Germany, 1921 July 2022.
 N. Revol
MPFI Library: Towards Compliance with the IEEE 17882015 Standard for Interval Arithmetic,
SCAN 2018: 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics,
Tokyo, Japan, 1015 September 2018.
 N. Revol
Introduction to the IEEE 17882015 Standard for Interval Arithmetic, and the MPFI Library,
Dagstuhl workshop 18165: iRRAM/MPFR/MPC,
Dagstuhl, Germany, 1820 April 2018.
 N. Revol
HPC and Interval Computations,
SCAN 2016: 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics,
Uppsala, Sweden, 2629 September 2016.
 N. Revol
Parallel Interval Algorithms, Numerical Guarantees and Numerical Reproducibility,
SIAM PP 2016: SIAM Conference on Parallel Processing for Scientific Computing,
Paris, France, 1215 April 2016.
 N. Revol
The (near)future IEEE 1788 standard for interval arithmetic,
SWIM 2015: 8th Small Workshop in Interval Methods,
Prague, Czech Republic, 911 June 2015.
 N. Revol and P. Théveny
Numerical reproducibility in HPC: the interval point of view,
PPAM'2013: 10th International Conference on Parallel Processing and Applied Mathematics,
Warsaw, Poland, September 811, 2013.
 N. Revol and P. Théveny
Numerical reproducibility in HPC: issues in interval arithmetic,
SWIM'2013: 6th Small Workshop on Interval Methods,
Brest, France,June 57, 2013.
 N. Revol and P. Théveny
Interval matrix multiplication on parallel architectures,
SCAN 2012: 15th GAMMIMACS International Symposium on
Scientific Computing, Computer Arithmetic and Verified Numerical Computations,
Novosibirsk, Russian Federation, September 2329, 2012.
 H. D. Nguyen, N. Revol and P. Théveny
Tradeoff between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication,
PARA 2012  Workshop on the StateoftheArt in Scientific and Parallel Computing,
LNCS, Helsinki, Finland, June 1013, 2012.
 H. D. Nguyen and N. Revol
Verified Numerical Linear Algebra: Linear System Solving,
In SIAM Conference on Applied Algebraic Geometry,
Raleigh, North Carolina, USA, 69 October 2011.
 H. D. Nguyen and N. Revol
Refining and verifying efficiently the solution of a linear system,
In Dagstuhl seminar 11371:
Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Dagstuhl, Germany, 1116 September 2011.
 F. de Dinechin, C.P. Jeannerod, D. Pfannholzer and Nthalie Revol.
Code generation for argument filtering and argument reduction in elementary functions,
In SCAN 2010: 14th GAMMIMACS International Symposium on Scientific Computing,
Computer Arithmetic and Validated Numerics, Lyon, France, 2010.
 H. D. Nguyen and N. Revol
Accuracy issues in linear algebra using interval arithmetic,
In SCAN 2010: 14th GAMMIMACS International Symposium on Scientific Computing,
Computer Arithmetic and Validated Numerics, Lyon, France, 2010.
 P. Collins, M. Niqui, N. Revol
Taylor Function Calculus for Hybrid System Analysis: Validation in Coq,
presented at the NSV3 (Numerical Software Verification) conference, Edinburgh, United Kingdom, 15 July 2010.
(preliminary version available as INRIA Research Report).
 H. D. Nguyen, N. Revol
Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision,
presented at the NSV3 (Numerical Software Verification) conference, Edinburgh, United Kingdom, 15 July 2010.
(text available here).
 H. D. Nguyen and N. Revol
Relaxed method to certify the solution of a linear system,
In SWIM'09 (Small Workshop on Interval Methods ), Lausanne, Switzerland, June 2009.
 H. D. Nguyen and N. Revol
Solving and Certifying the Solution of a Linear System,
presented at the
SCAN 2008 conference, El Paso, Texas, USA, Sept. 29  Oct. 3, 2008.
 C.P. Jeannerod, N. Louvet, N. Revol, G. Villard,
Computing Condition Numbers with Automatic Differentiation,
presented at the
SCAN 2008 conference, El Paso, Texas, USA, Sept. 29  Oct. 3, 2008.
 J.C. Bajard, Ph. Langlois, D. Michelucci, G. Morin and N. Revol
Floatingpoint geometry,
presented at the SPIE Optical Engineering and Applications conference,
part of the SPIE Optics+Photonics conference, San Diego, California, USA, 1014 August 2008.
 C.P. Jeannerod, N. Louvet, N. Revol, G. Villard
On the Computation of some Componentwise Condition Numbers,
presented at the
SNSC'08 (4th International Conference on Symbolic and Numerical Scientific Computing) conference,
Hagenberg, Austria, 2426 July 2008.
 N. Revol
Introduction to Interval Arithmetic and to some IntervalBased Software Systems and Libraries,
presented at the ECMI 2008 conference, Minisymposium MS09, London, United Kingdom, 30 June  4 July 2008.
 N. Revol
Survey of proposals for the standardization of interval arithmetic ,
In SWIM'08: Small Workshop on Interval Methods, June 2008.
 N. Revol
Automatic adaptation of the computing precision,
In V Taylor Models Workshop, May 2008.
 F. Cháves, M. Daumas, C. Muñoz, N. Revol
Automatic strategies to evaluate formulas on Taylor models and generate proofs in PVS,
presented at the ICIAM'07 conference, Zurich, Switzerland, July 2007,
bibtex ref.
 N. Revol
Implementing Taylor models arithmetic with floatingpoint arithmetic (slides),
presented at the ICIAM'07 conference, Zurich, Switzerland, July 2007,
bibtex ref.
 N. Revol
Implementing Taylor models arithmetic with floatingpoint arithmetic:
bounding roundoff errors,
presented at the 4th Workshop on Taylor Models, Boca Raton, Florida, December 2006,
bibtex ref.
 N. Revol
Design choices and their limits for an interval arithmetic library. The example of MPFI.
presented at the conference SCAN'06, Duisburg, Germany, September 2006,
bibtex ref.
 S. Chevillard and N. Revol
Computation of the error functions erf and erfc
in arbitrary precision with correct rounding,
presented at the conference IMACS'05, Paris, France, July 2005.
Augmented version presented at the conference ICMS'06,
Castro Urdiales, Spain, September 2006,
bibtex ref.
 N. Revol
Bounding roundoff errors in Taylor models arithmetic,
presented at the conference IMACS'05, Paris, France, July 2005.
 N. Revol
Convergent linear recurrences (with scalar coefficients) with divergent interval simulations,
presented at the conference SCAN'04, Japan, 2004,
bibtex ref.
 N. Revol
Multiple precision interval arithmetic and application to linear systems.
presented at the International Conference on Applications of Computer Algebra, Raleigh, North Carolina, USA, 2003,
bibtex ref.
 N. Revol
Newton iteration using multiple precision interval arithmetic:
the univariate case,
presented at the conference ALA'2001 (Algèbre Linéaire
et Arithmétique  Linear Algebra and Arithmetic), Rabat, Morocco,
2831 May 2001.
 N. Revol, Y. Denneulin, J.F. Méhaut and B. Planquelle
Parallelization of continuous verified global optimization,
19th IFIP TC7 conference
on System Modelling and Optimization,
Cambridge, England, July 1999.
Parallelization of continuous verified global optimization,
research report, extended version of the previous paper
(pdf obtained from a PostScript).
 N. Revol and J.L. Roch
Parallel evaluation of circuits over lattices,
ISSAC'95, Canada, July 1995
(abstract).

Research reports (not published elsewhere)
 P. Langlois and N. Revol
Validating polynomial numerical computations with complementary automatic methods,
bibtex ref,
research report
RR 200118, LIP, École Normale Supérieure de Lyon
and research report RR4205,
INRIA,
May 2001.
 Y.O. Mohamed El Hadj, N. Revol and A. Meziane
Parallelization of automatic speech recognition,
bibtex ref,
research report
RR 200102, LIP, École Normale Supérieure de Lyon
and research report RR4110,
INRIA,
January 2001.

Miscellaneous
 N. Revol
About the "accurate mode" of the IEEE 17882015 standard for interval arithmetic
short paper, work in progress, May 2023.
 N. Revol
Introduction à l'arithmétique par intervalles,
lecture given at the spring postgraduate school on Algorithms and Computer
Algebra, Grenoble, France, 29 March  2 April 2004 (in french)
(lecture notes
and slides).
 N. Revol
Parallélisation d'applications irrégulières :
exemples en optimisation combinatoire et en optimisation globale par intervalles,
lecture given at the autumn postgraduate school on Parallel and
Distributed Computation ParDi, Oujda, Morocco, October 1999 (in french)
(bibtex ref,
abstract
and PostScript).
 N. Revol
Complexité de l'évaluation parallèle de circuits
arithmétiques,
Ph.D. in Applied Mathematics, Institut National Polytechnique de Grenoble,
August 1994
(abstract and
PostScript).
Back to Nathalie Revol's home page.