Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « Auteurs » - entrée « Vincent Lefèvre »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Vincent Lecuire < Vincent Lefèvre < Vincent Lepetit  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]
Ident.Authors (with country if any)Title
003023 (2005) Laurent Fousse ; Guillaume Hanrot ; Vincent Lefèvre ; Patrick Pélissier ; Paul ZimmermannMPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
003024 (2007) Laurent Fousse ; Guillaume Hanrot ; Vincent Lefèvre ; Patrick Pélissier ; Paul ZimmermannMPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.
003471 (2002) Vincent LefèvreMultiplication by an Integer Constant: Lower Bounds on the Code Length
003472 (2003) Vincent LefèvreMultiplication by an Integer Constant: Lower Bounds on the Code Length
003473 (2001) Vincent LefèvreMultiplication by an Integer Constant
003570 (2005-06-27) Vincent LefèvreNew Results on the Distance Between a Segment and Z². Application to the Exact Rounding
003888 (2000) Vincent Lefèvre ; Jean-Michel MullerOn-The-Fly Range Reduction
003894 (2003) Vincent Lefèvre ; Jean-Michel MullerOn-the-Fly Range Reduction
003E06 (2004) David Defour ; Guillaume Hanrot ; Vincent Lefèvre ; Jean-Michel Muller ; Nathalie Revol ; Paul ZimmermannProposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
003E07 (2004) David Defour ; Guillaume Hanrot ; Vincent Lefèvre ; Jean-Michel Muller ; Nathalie Revol ; Paul ZimmermannProposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
004406 (2005) Damien Stehlé ; Paul Zimmermann ; Vincent LefèvreSearching Worst Cases of a One-Variable Function Using Lattice Reduction
004B15 (2005) Vincent LefèvreThe Euclidean Division Implemented with a Floating-Point Division and a Floor
004B16 (2005) Vincent LefèvreThe Euclidean Division Implemented with a Floating-Point Multiplication and a Floor
004B28 (2004-11) Vincent LefèvreThe Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
004E04 (2004) Jacques Calmet ; Vincent LefèvreToward the Integration of Numerical Computations into the OMSCS Framework
005377 (2010) Kaveh Ghazi ; Vincent Lefèvre ; Philippe Théveny ; Paul ZimmermannWhy and How to Use Arbitrary Precision
005410 (2002) Damien Stehlé ; Vincent Lefèvre ; Paul ZimmermannWorst Cases and Lattice Reduction
005411 (2003) Damien Stehlé ; Vincent Lefèvre ; Paul ZimmermannWorst Cases and Lattice Reduction
005412 (2001) Vincent Lefèvre ; Jean-Michel MullerWorst Cases for Correct Rounding of the Elementary Functions in Double Precision
005413 (2006-01-08) Vincent Lefèvre ; Damien Stehlé ; Paul ZimmermannWorst Cases for the Exponential Function in the IEEE 754r decimal64 Format
005414 (2007-06) Guillaume Hanrot ; Vincent Lefèvre ; Damien Stehlé ; Paul ZimmermannWorst Cases of a Periodic Function for Large Arguments

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Vincent Lefèvre" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Vincent Lefèvre" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Vincent Lefèvre
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022