Nathalie Revol's AcademicInfluence.com Rankings Why Is Nathalie Revol Influential? (Suggest an Edit or Addition)
According to Wikipedia , Nathalie Revol is a French computer scientist known for her research on computer arithmetic, including floating-point arithmetic and interval arithmetic. She is a researcher for the French Institute for Research in Computer Science and Automation , associated with the arithmetic and computing project of the Laboratoire de l'Informatique du Parallélisme at the École normale supérieure de Lyon.
(See a Problem?) Nathalie Revol's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
2000 2010 2020 0 50 100 150 200 250 300 350 400 450 500 550 600 650 700 750 Published Works Digital Arithmetic (2003) Handbook of Floating-Point Arithmetic (2009) Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library (2005) Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (2005) Handbook of Floating-Point Arithmetic (2nd Ed.) (2018) A new range reduction algorithm (2005) Multiple Precision Interval Packages: Comparing Different Approaches (2003) Floating-Point Arithmetic (2009) Interval Newton Iteration in Multiple Precision for the Univariate Case (2003) Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic (2004) Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms (2013) Introduction à l'arithmétique par intervalles (2000) (20)A Validated Real Function Calculus (2011) Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic (2017) Solving and Certifying the Solution of a Linear System (2011) (12)A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq (2010) (11)A library for arbitrary precision interval arithmetic (2002) (11)First steps towards more numerical reproducibility (2014) Parallel Implementation of Interval Matrix Multiplication (2013) (8)Computation of the error function erf in arbitrary precision with correct rounding (2014) (8)Parallel Evaluation of Arithmetic Circuits (1996) Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries (2010) Computation of the error functions erf & erfc in arbitrary precision with correct rounding (2008) (6)A Methodology of Parallelization for Continuous Verified Global Optimization (2001) Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006 (2006) (6)Software Implementation of Floating-Point Arithmetic (2010) Validating Polynomial Numerical Computations with Complementary Automatic Methods (2001) (3)Contracts and Grants with Industry - Grants with Industry (2011) (3)Refining and verifying the solution of a linear system (2012) Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers (2008) High performance linear algebra using interval arithmetic (2010) Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021 (2009) Accuracy issues in linear algebra using interval arithmetic (2010) (3)MC-PM 2 : Multi-Cluster Approach With PM 2 . (1999) (2)Complexite de l'evaluation parallele des circuits arithmetiques. (Complexity of the parallel evaluation of arithmetic circuits) (1994) (2)Some notes for a proposal for elementary function implementation in floating-point arithmetic (2001) (2)Influence of the Condition Number on Interval Computations: Illustration on Some Examples (2020) Implementing Taylor models arithmetic with floating‐point arithmetic (2007) 06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice (2006) (2)Multi-protocol Communications and High Speed Networks (1999) Parallelization of Automatic Speech Recognition (2001) (1)LEMA: towards a language for reliable arithmetic (2010) Tradeoffs between Accuracy and Efficiency for Interval Matrix Multiplication (2012) (1)Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision (2010) (1)Code generation for argument filtering and argument reduction in elementary functions (2010) (1)Definitions and Basic Notions (2010) Solving the Table Maker’s Dilemma (2010) Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics (2008) Refining and verifying efficiently the solution of a linear system (2011) (1)Accelerated Shift-and-Add Algorithms (2000) Relaxed method to certify the solution of a linear system (2009) (1)Implementing Taylor models arithmetic using floating-point arithmetic: bounding roundo errors (2006) (1)Extending the Precision (2010) The MPFI library revisited (2019) (0)Numerical reproducibility in HPC: the interval point of view (2013) (0)Basic Properties and Algorithms (2010) Affine Iterations and Wrapping Effect: Various Approaches (2022) (0)Proceedings of IEEE 23rd Symposium on Computer Arithmetic (2016) (0)Algorithms for the Basic Operations (2018) Accelerated Shift-and-add Algorithms for an Hardware Implementation of Elementary Functions (1999) (0)Interval matrix multiplication on parallel architectures (2012) (0)Evaluating Floating-Point Elementary Functions (2010) Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format (2019) (0)Appendix: Number Theory Tools for Floating-Point Arithmetic (2010) Algorithms for the Five Basic Operations (2010) Editorial (2011) Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic (2014) Reliable Implementation of Real Number Algorithms : Theory and Practice Summary of Dagstuhl Seminar 06021 January 8 – 13 , 2006 (2006) (0)IEEE-1788 standardization of interval arithmetic: work in progress (a personal view) (2012) (0)New Results - Certified Numerical Codes, Interval Arithmetic and Taylor Models (2005) (0)Numerical reproducibility : context and motivations (2013) (0)Introduction to the Special Issue on Computer Arithmetic (2017) New Results - Validation and Automation (2011) (0)The MPFI Library: Towards IEEE 1788–2015 Compliance (2019) Contracts and Grants with Industry - Grant from Région Rhône-Alpes (2009) (0)Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication (2012) (0)Testing interval arithmetic libraries, including their IEEE-1788 compliance (2022) Vitae for Nathalie Revol (2007) (0)Vitae for Nathalie Revol (2007) (0)Preface (2006) Please leave these first three lines blank for the Editors (2021) (0)Verified Numerical Linear Algebra: Linear System Solving (2011) (0)Verifying Floating-Point Algorithms (2018) MC-PM2: Multi-Cluster Approach With PM2 (1999) (0)New Results - Interval Arithmetic (2009) (0)IEEE 1788 Working Group for the Standardization of Interval Arithmetic: a brief overview (2011) (0)06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice (2006) (0)Formalisms for Certifying Floating-Point Algorithms (2010) Floating-Point Formats and Environment (2010) Special issue on linear algebra and arithmetic, proceedings of the ALA'01 conference held in Rabat, Morocco on May 28-31, 2001 (2004) L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles (2012) (0)Enhanced Floating-Point Sums, Dot Products, and Polynomial Values (2010) Languages and Compilers (2010) Numerical reproducibility in HPC: issues in interval arithmetic (2013) (0)The Fused Multiply-Add Instruction (2010) More Papers This paper list is powered by the following services:
Other Resources About Nathalie Revol What Schools Are Affiliated With Nathalie Revol? Nathalie Revol is affiliated with the following schools:
