Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Virgule flottante »
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.
Virgule fixe < Virgule flottante < Virtual team support  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 5.
Ident.Authors (with country if any)Title
000134 (2011) S. Chevillard [France] ; J. Harrison [États-Unis] ; M. Joldes [France] ; Ch. Lauter [France]Efficient and accurate computation of upper bounds of approximation errors
000300 (2007) Laurent Fousse [France] ; Guillaume Hanrot [France] ; Vincent Lefevre [France] ; Patrick Pelissier [France] ; Paul Zimmermann Loria [France]MPFR : A multiple-precision binary floating-point library with correct rounding
000495 (2005) Phong Q. Nguyen [France] ; Damien Stehle [France]Floating-point LLL revisited
000609 (2004) Fabrice Rouillier [France] ; Paul Zimmermann [France]Efficient isolation of polynomial's real roots
000726 (2003) Laurent Fousse [France] ; Paul Zimmermann [France]Accurate summation: Towards a simpler and formal proof

List of associated Author.i

Nombre de
documents
Descripteur
2Laurent Fousse
2Paul Zimmermann
1Ch. Lauter
1Damien Stehle
1Fabrice Rouillier
1Guillaume Hanrot
1J. Harrison
1M. Joldes
1Patrick Pelissier
1Paul Zimmermann Loria
1Phong Q. Nguyen
1S. Chevillard
1Vincent Lefevre

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Virgule flottante" 
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Virgule flottante" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Virgule flottante
}}

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