Edit Profile (opens in new tab) Lefèvre, Vincent Co-Author Distance Author ID: lefevre.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 all top 5 Co-Authors 2 single-authored 7 Muller, Jean-Michel 4 Revol, Nathalie 4 Zimmermann, Paul 3 de Dinechin, Florent 3 Jeannerod, Claude-Pierre 3 Stehlé, Damien 2 Hanrot, Guillaume 2 Kornerup, Peter 2 Lauter, Christoph Quirin 2 Louvet, Nicolas 2 Melquiond, Guillaume 2 Torres, Serge 1 Brisebarre, Nicolas 1 Brunie, Nicolas 1 Defour, David 1 Fousse, Laurent 1 Graillat, Stef 1 Joldeş, Mioara 1 Mouilleron, Christophe 1 Pélissier, Patrick 1 Pfannholzer, David 1 Théveny, Philippe Serials 4 IEEE Transactions on Computers 2 ACM Transactions on Mathematical Software 2 Numerical Algorithms 1 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 1 ACM Communications in Computer Algebra Fields 13 Numerical analysis (65-XX) 3 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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