×
Author ID: lefevre.vincent Recent zbMATH articles by "Lefèvre, Vincent"
Published as: Lefèvre, Vincent
Documents Indexed: 14 Publications since 1999, including 2 Books
Co-Authors: 22 Co-Authors with 12 Joint Publications
353 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 269 times in 239 Documents Cited by Year
MPFR: a multiple-precision binary floating-point library with correct rounding. Zbl 1365.65302
Fousse, Laurent; Hanrot, Guillaume; Lefèvre, Vincent; Pélissier, Patrick; Zimmermann, Paul
182
2007
Handbook of floating-point arithmetic. Zbl 1197.65001
Muller, Jean-Michel; Brisebarre, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Stehlé, Damien; Torres, Serge
49
2010
Handbook of floating-point arithmetic. 2nd edition. Zbl 1394.65001
Muller, Jean-Michel; Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge
18
2018
Searching worst cases of a one-variable function using lattice reduction. Zbl 1171.65361
Stehlé, Damien; Lefèvre, Vincent; Zimmermann, Paul
6
2005
On the computation of correctly rounded sums. Zbl 1365.65141
Kornerup, Peter; Lefèvre, Vincent; Louvet, Nicolas; Muller, Jean-Michel
4
2012
An efficient rounding boundary test for \({\mathrm{pow}(x,y)}\) in double precision. Zbl 1367.65237
Lauter, Christoph Quirin; Lefèvre, Vincent
3
2009
Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Zbl 1074.65053
Defour, David; Hanrot, Guillaume; Lefèvre, Vincent; Müller, Jean-Michel; Revol, Nathalie; Zimmermann, Paul
2
2004
Worst cases for the exponential function in the IEEE 754r decimal64 format. Zbl 1165.65340
Lefèvre, Vincent; Stehlé, Damien; Zimmermann, Paul
1
2008
An algorithm that computes a lower bound on the distance between a segment and \(\mathbb{Z}^2\). Zbl 0949.65013
Lefèvre, Vincent
1
1999
Correctly rounded arbitrary-precision floating-point summation. Zbl 1390.65185
Lefèvre, Vincent
1
2017
Computing correctly rounded integer powers in floating-point arithmetic. Zbl 1364.65309
Kornerup, Peter; Lauter, Christoph; Lefèvre, Vincent; Louvet, Nicolas; Muller, Jean-Michel
1
2010
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. Zbl 1330.65068
Graillat, Stef; Lefèvre, Vincent; Muller, Jean-Michel
1
2015
Handbook of floating-point arithmetic. 2nd edition. Zbl 1394.65001
Muller, Jean-Michel; Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge
18
2018
Correctly rounded arbitrary-precision floating-point summation. Zbl 1390.65185
Lefèvre, Vincent
1
2017
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. Zbl 1330.65068
Graillat, Stef; Lefèvre, Vincent; Muller, Jean-Michel
1
2015
On the computation of correctly rounded sums. Zbl 1365.65141
Kornerup, Peter; Lefèvre, Vincent; Louvet, Nicolas; Muller, Jean-Michel
4
2012
Handbook of floating-point arithmetic. Zbl 1197.65001
Muller, Jean-Michel; Brisebarre, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Stehlé, Damien; Torres, Serge
49
2010
Computing correctly rounded integer powers in floating-point arithmetic. Zbl 1364.65309
Kornerup, Peter; Lauter, Christoph; Lefèvre, Vincent; Louvet, Nicolas; Muller, Jean-Michel
1
2010
An efficient rounding boundary test for \({\mathrm{pow}(x,y)}\) in double precision. Zbl 1367.65237
Lauter, Christoph Quirin; Lefèvre, Vincent
3
2009
Worst cases for the exponential function in the IEEE 754r decimal64 format. Zbl 1165.65340
Lefèvre, Vincent; Stehlé, Damien; Zimmermann, Paul
1
2008
MPFR: a multiple-precision binary floating-point library with correct rounding. Zbl 1365.65302
Fousse, Laurent; Hanrot, Guillaume; Lefèvre, Vincent; Pélissier, Patrick; Zimmermann, Paul
182
2007
Searching worst cases of a one-variable function using lattice reduction. Zbl 1171.65361
Stehlé, Damien; Lefèvre, Vincent; Zimmermann, Paul
6
2005
Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Zbl 1074.65053
Defour, David; Hanrot, Guillaume; Lefèvre, Vincent; Müller, Jean-Michel; Revol, Nathalie; Zimmermann, Paul
2
2004
An algorithm that computes a lower bound on the distance between a segment and \(\mathbb{Z}^2\). Zbl 0949.65013
Lefèvre, Vincent
1
1999
all top 5

Cited by 429 Authors

19 Sharma, Janak Raj
14 Grau-Sánchez, Miquel
13 Noguera, Miquel
10 Graillat, Stef
9 Rump, Siegfried Michael
8 Muller, Jean-Michel
7 Arora, Himani
7 Higham, Nicholas J.
6 Ezquerro, José Antonio
6 Melquiond, Guillaume
6 Petković, Miodrag S.
5 Argyros, Ioannis Konstantinos
5 Martin-Dorel, Érik
4 Barrio, Roberto
4 Grau, Àngela
4 Jézéquel, Fabienne
4 Martel, Matthieu
4 Tsai, Chia-Cheng
3 Antoñana, Mikel
3 Behl, Ramandeep
3 Boldo, Sylvie
3 Brzeziński, Dariusz W.
3 Enge, Andreas
3 Fasi, Massimiliano
3 Gutiérrez, José Manuel
3 Hanrot, Guillaume
3 Hernández-Verón, Miguel Ángel
3 Hernández, Miguel Ángel
3 Hormann, Kai
3 Jeannerod, Claude-Pierre
3 Kumar, Deepak
3 Kumar, Sunil
3 Makazaga, Joseba
3 Mary, Theo A.
3 Murua, Ander
3 Sharma, Rajni
3 Wilczak, Daniel
2 Aliaga, José Ignacio
2 Balaprakash, Prasanna
2 Beliakov, Gleb
2 Berthé, Valérie
2 Birattari, Mauro
2 Chapoutot, Alexandre
2 Cirillo, Emiliano
2 Damouche, Nasrine
2 Dena, Ángeles
2 Díaz-Barrero, José Luis
2 Donà, Pietro
2 Dorigo, Marco
2 Gimeno, Joan
2 Gupta, Puneet Kumar
2 Hu, Heng
2 Iakymchuk, Roman
2 Jiang, Hao
2 Johansson, Fredrik
2 Joldeş, Mioara
2 Jorba-Cuscó, Marc
2 Jorba, Àngel
2 Kalra, Nitin
2 Kapela, Tomasz
2 Langlois, Philippe
2 Lefèvre, Vincent
2 Liao, Shijun
2 Mascarenhas, Walter F.
2 Mikaitis, Mantas
2 Milošević, Dušan M.
2 Mukunoki, Daichi
2 Ogita, Takeshi
2 Petković, Ivan M.
2 Picot, Romain
2 Popescu, Valentina
2 Potier-Ferry, Michel
2 Rideau, Laurence
2 Rodríguez, Marcos
2 Roux, Pierre
2 Stehlé, Damien
2 Stützle, Thomas G.
2 Théry, Laurent
2 Tucker, Warwick
2 Wang, Xiaofeng
2 Xiao, Xiaoyong
2 Yang, Jie
2 Yin, Hongwei
2 Zgliczyński, Piotr
1 Abad, Alberto J.
1 Abbasi, Rosa
1 Abdulla, Ugur G.
1 Adjé, Assalé
1 Aguilar-Melchor, Carlos
1 Aharonovich, Igal
1 Ahrendt, Wolfgang
1 Akhavi, Ali
1 Albrecht, Martin R.
1 Aleksandrov, P. A.
1 Alfosail, Feras K.
1 Alvermann, Andreas
1 Amiri, Abdolreza
1 Andrlon, Mak
1 Araujo, Leonardo C.
1 Armknecht, Frederik
...and 329 more Authors
all top 5

Cited in 89 Serials

15 Applied Mathematics and Computation
14 Numerical Algorithms
11 Journal of Computational and Applied Mathematics
7 Mathematics of Computation
7 ACM Transactions on Mathematical Software
7 Journal of Automated Reasoning
6 BIT
6 Engineering Analysis with Boundary Elements
6 S\(\vec{\text{e}}\)MA Journal
5 Numerische Mathematik
4 Computers & Mathematics with Applications
4 SIAM Journal on Scientific Computing
4 Computational and Applied Mathematics
4 ETNA. Electronic Transactions on Numerical Analysis
4 Communications in Nonlinear Science and Numerical Simulation
4 Journal of High Energy Physics
3 Computer Physics Communications
3 Journal of Computational Physics
3 Calcolo
3 Computing
3 Information and Computation
3 Japan Journal of Industrial and Applied Mathematics
3 International Journal of Computer Mathematics
3 Celestial Mechanics and Dynamical Astronomy
3 International Journal of Computational Methods
2 Journal of Fluid Mechanics
2 Journal of Mathematical Analysis and Applications
2 Journal of Algebra
2 Journal of Optimization Theory and Applications
2 Applied Numerical Mathematics
2 SIAM Journal on Matrix Analysis and Applications
2 Linear Algebra and its Applications
2 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
2 Experimental Mathematics
2 Methodology and Computing in Applied Probability
2 Acta Numerica
2 Mathematics in Computer Science
1 Classical and Quantum Gravity
1 General Relativity and Gravitation
1 Information Processing Letters
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Journal of Mathematical Physics
1 Journal of Statistical Physics
1 Mathematical Biosciences
1 Mathematical Methods in the Applied Sciences
1 Annales de l’Institut Fourier
1 Matematički Vesnik
1 Mathematics and Computers in Simulation
1 Meccanica
1 Operations Research
1 Programming and Computer Software
1 Transactions of the American Mathematical Society
1 Physica D
1 Journal of Complexity
1 Computers & Operations Research
1 Applied Mathematics Letters
1 Mathematical and Computer Modelling
1 Journal of Scientific Computing
1 Random Structures & Algorithms
1 International Journal of Computational Geometry & Applications
1 Computational Mathematics and Mathematical Physics
1 Communications in Partial Differential Equations
1 European Journal of Operational Research
1 SIAM Review
1 Computational Statistics and Data Analysis
1 Journal of Nonlinear Science
1 Formal Methods in System Design
1 Journal de Théorie des Nombres de Bordeaux
1 Applicationes Mathematicae
1 Numerical Linear Algebra with Applications
1 Advances in Computational Mathematics
1 Constraints
1 Journal of Mathematical Chemistry
1 Abstract and Applied Analysis
1 Soft Computing
1 Chaos
1 RAIRO. Theoretical Informatics and Applications
1 International Journal of Nonlinear Sciences and Numerical Simulation
1 ACM Journal of Experimental Algorithmics
1 Journal of Statistical Mechanics: Theory and Experiment
1 ACM Communications in Computer Algebra
1 Algorithms
1 Advances in Numerical Analysis
1 TWMS Journal of Pure and Applied Mathematics
1 Mathematica Applicanda
1 Mathematics
1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings and Surveys
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Applied Mathematics and Nonlinear Sciences
all top 5

Cited in 42 Fields

173 Numerical analysis (65-XX)
44 Computer science (68-XX)
19 Number theory (11-XX)
17 Approximations and expansions (41-XX)
16 Dynamical systems and ergodic theory (37-XX)
10 Mechanics of particles and systems (70-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
8 Special functions (33-XX)
7 Partial differential equations (35-XX)
7 Fluid mechanics (76-XX)
7 Operations research, mathematical programming (90-XX)
7 Information and communication theory, circuits (94-XX)
6 Quantum theory (81-XX)
5 Combinatorics (05-XX)
5 Operator theory (47-XX)
5 Statistics (62-XX)
4 Integral equations (45-XX)
4 Probability theory and stochastic processes (60-XX)
4 Relativity and gravitational theory (83-XX)
3 Topological groups, Lie groups (22-XX)
3 Real functions (26-XX)
3 Functions of a complex variable (30-XX)
3 Ordinary differential equations (34-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Field theory and polynomials (12-XX)
2 Commutative algebra (13-XX)
2 Algebraic geometry (14-XX)
2 Mechanics of deformable solids (74-XX)
2 Systems theory; control (93-XX)
1 Associative rings and algebras (16-XX)
1 Nonassociative rings and algebras (17-XX)
1 Group theory and generalizations (20-XX)
1 Difference and functional equations (39-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 Differential geometry (53-XX)
1 Optics, electromagnetic theory (78-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Astronomy and astrophysics (85-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year