• List of Publications
• Slides of Talks

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

  • 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 331-339, 2005. (bibtex ref, original publication, PDF).
    Presented at the 35th Conference on signals, systems and computers, Asilomar, USA, 4-7 November 2001.
    Research report RR 2001-33, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4267.
    
  • N. Revol and F. Rouillier
    Motivations for an arbitrary precision interval arithmetic and the MPFI library, Reliable Computing, vol. 11, no 4, pp 275--290, 2005 (bibtex ref, original publication, PDF).
    Presented at the Validated Computing conference, Toronto, Canada, 23-25 May 2002
    Research report RR 2002-27, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4498.
  • N. Revol, K. Makino and M. Berz
    Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, Journal of Logic and Algebraic Programming, vol. 64, pp 135--154, 2005 (bibtex ref, original publication, PostScript).
    Research report RR 2003-11, LIP, École Normale Supérieure de Lyon, INRIA research report RR-4737 and Michigan State University with the reference MSU Department of Physics Report MSUHEP-30212.
  • D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol and P. Zimmermann
    Proposal for a standardization of mathematical function implementation in floating-point arithmetic, Numerical Algorithms, vol. 37, no 1-4, pp 367--375, 2004 (bibtex ref, original publication, PDF).
    Presented at the SCAN conference, Paris, France, 24-27 September 2002.
  • N. Revol
    Interval Newton iteration in multiple precision for the univariate case Numerical Algorithms, vol 34, no 2, pp 417--426, 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, 1-5 October 2001.
    Research report RR 2001-49, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4334, extended version of the previous paper.
  • N. Revol and J.-C. Yakoubsohn
    Accelerated Shift-and-Add algorithms, Reliable Computing, vol. 6, no 2, pp. 193-205, 2000 (bibtex ref, original publication, PDF).
    Presented at SCAN'98, Hungary, Sept. 1998. (abstract).
    Accelerated shift-and-add 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. 133-150, July 1996 (bibtex ref, original publication, PostScript).

• Edition

  • 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
    Arithmétique par intervalles, Calculateurs Parallèles et Systèmes Répartis, vol 13, pp 387--426, 2001 (in french) (bibtex ref, résumé).
    Introduction à l'arithmétique par intervalles, research report RR 2001-41, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4297, extended version of the previous paper.

• Conferences with referees and proceedings

  • 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 27-36, Santiago de Compostela, Spain, 7-9 July 2008.
  • R.B. Kearfott, J. Pryce and N. Revol
    Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021, ISBN:978-3-642-01590-8 follow-up of the seminary on Numerical Validation in Current Hardware Architectures, at Dagstuhl, Germany, held 6-11 January, 2008. Lecture Notes in Computer Science no 5492, pp 1--6, 2009.
    bibtex ref, Research report RR 2003-32, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4841.
  • M. Grimmer, K. Petras and N. Revol
    Multiple Precision Interval Packages: Comparing Different Approaches, follow-up of the seminary on Numerical Software with Result Verification, at Dagstuhl, Germany, held 19-24 January, 2003. Lecture Notes in Computer Science no 2991, pp 64--90, 2004.
    bibtex ref, Research report RR 2003-32, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4841.
  • 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, 9-12 September 2001, Lecture Notes in Computer Science no 2328, pp 803--810, 2002.
    bibtex ref, Research report ANO 404, extended (old) version of the previous paper.
  • B. Planquelle, J.-F. Méhaut and N. Revol
    Multi-protocol communications and high performance networks, EuroPar'99, Toulouse, France, September 1999. Lecture Notes in Computer Science no 1685, pp 139-143. bibtex ref.
    Multi-protocol communications and high performance networks, research report 1999-23, LIP, Ecole Normale Supérieure de Lyon, March 1999 (PostScript).
  • B. Planquelle, J.-F. Méhaut and N. Revol
    MC-PM2: Multi-cluster approach with PM2, Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, June 1999, pp. 779--785, 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 265--273, World Scientific bibtex ref, (abstract).

• Conferences

  • 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, D. Michelucci, Ph. Langlois and N. Revol
    Floating-point geometry, presented at the SPIE Optical Engineering and Applications conference, part of the SPIE Optics+Photonics conference, San Diego, California, USA, 10-14 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, 24-26 July 2008.
  • N. Revol
    Introduction to Interval Arithmetic and to some Interval-Based Software Systems and Libraries, presented at the ECMI 2008 conference, Minisymposium MS09, London, United Kingdom, 30 June - 4 July 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 floating-point arithmetic (slides), presented at the ICIAM'07 conference, Zurich, Switzerland, July 2007, bibtex ref.
  • N. Revol
    Implementing Taylor models arithmetic with floating-point 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, 28-31 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 (abstract and 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 2001-18, LIP, École Normale Supérieure de Lyon and research report RR-4205, INRIA, May 2001.
  • Y.O. Mohamed El Hadj, N. Revol and A. Meziane
    Parallelization of automatic speech recognition, bibtex ref, research report RR 2001-02, LIP, École Normale Supérieure de Lyon and research report RR-4110, INRIA, January 2001.

• Miscellaneous

  • F. de Dinechin, M.D. Ercegovac, J.-M. Muller and N. Revol
    Digital Arithmetic, in Encyclopedia of Computer Science and Engineering, pp. 935--948, Benjamin W. Wah editor, Hoboken, NJ, January 2009.
  • 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).
  • 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 multi-précision avec J.-C. Bajard, Masson, 1997, bibtex ref,
    (Click here for an overview and the table of contents)
  • 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).

Slides of Talks

• Arithmétique des ordinateurs : calculer de façon rapide, fiable, précise (in french)
  N. Revol, SIESTE 2007-2008: Séminaire d'Informatique pour les Etudiants, Scientifiques, et Tous ceux que l'informatique intéresse à l'ENS Lyon, France, 25 septembre 2007, (slides, in PDF).
• Compter sur ordinateur : plus vite, plus loin, plus sûr (in french)
  N. Revol, Ciné-Sciences La bosse des maths, conférence donnée suite à la projection du film de Stanislas Dehaene devant des lycéens, Die, France, 19 octobre 2004, (slides, in PDF).
• Compter sur ordinateur et autres calculs : toujours plus vite (in french)
  N. Revol, Ciné-Sciences La bosse des maths, confénce donnée suite à la projection du film de Stanislas Dehaene, Die, France, 19 octobre 2004, (slides, in PDF).
• Algorithmes et complexité : illustration en arithmétique des ordinateurs (in french)
  N. Revol, colloque de l'APMEP région Rhône-Alpes, Lyon, France, 16 avril 2003, (slides, in PDF). Version modifiée de l'exposé présenté au colloque Lyon-Confluence 2002 de l'IREM, Lyon, France, 21 juin 2002
• MPFI: a library for arbitrary precision interval arithmetic
  N. Revol and F. Rouillier, SCAN 2002, Paris, France, 24-27 September 2002, (slides, in PDF)
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
  N. Revol and F. Rouillier, Validated Computing, Toronto, Ontario, Canada, 22-25 May 2002, (slides, in PDF)
• Reliable and accurate solutions of linear and nonlinear systems
  N. Revol, SIAM Conference on Optimization, Toronto, Ontario, Canada, 20-22 May 2002, (slides, in PDF)
• Quelques exemples d'arithmétiques sur ordinateur (in french)
  N. Revol, Forum des jeunes mathématiciennes et des jeunes informaticiennes, Paris, 8 mars 2002, (slides, in PDF)
• Algorithme de Hansen pour l'optimisation globale (in french)
  N. Revol, exposé du 01-02-2002 au groupe de travail Calcul ensembliste, (slides, in PDF)

Back to Nathalie Revol's home page.