Vincent Lefèvre

Statistics

Publications

Citations

1.3K

H-Index

Active since

1998

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Normale Supérieure de Lyon

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Centre National de la Recherche Scientifique

Université Claude Bernard Lyon 1

Vincent Lefèvre is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and approximation theory.

ORCID

Top concepts

EngineeringComputer ScienceApproximation TheoryComputer EngineeringComputational ComplexityParallel ComputingApproximate ComputingNumerical AnalysisDiscrete MathematicsFormal Methods

Publications per year

1998–2017

Publications

MPFR

Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre et al. · ACM Transactions on Mathematical Software · 2007 · 900 citations

Hardware Security, Iso C Language, Real Data Type +13

Worst cases for correct rounding of the elementary functions in double precision

Vincent Lefèvre, Jean‐Michel Muller · 2002 · 65 citations

Numerical Analysis, Pade Approximant, Real Data Type +14

Toward correctly rounded transcendentals

Vincent Lefèvre, Jean‐Michel Muller, Arnaud Tisserand · IEEE Transactions on Computers · 1998 · 61 citations

Geometry Of Number, Real Data Type, Engineering +8

Multiplication by an Integer Constant

Vincent Lefèvre · OpenGrey (Institut de l'Information Scientifique et Technique) · 2001 · 43 citations · Full text

Towards correctly rounded transcendentals

Vincent Lefèvre, Jean‐Michel Muller, Arnaud Tisserand · 2002 · 31 citations

Geometry Of Number, Real Data Type, Computational Number Theory +6

1–5 of 15