Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Laurent Fousse »
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.
Laurent Daudet < Laurent Fousse < Laurent Garcia  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
000298 (2007) Laurent Fousse [France]Multiple-precision correctly rounded newton-cotes quadrature
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
000726 (2003) Laurent Fousse [France] ; Paul Zimmermann [France]Accurate summation: Towards a simpler and formal proof

List of associated FC03.fr.i

Nombre de
documents		Descripteur
2Estimation erreur
2Virgule flottante
128XX
141A55
165D30
165D32
165Gxx
168N01
168Wxx
1Algorithme
1Analyse erreur
1Analyse mathématique
1Application
1Arithmétique
1Arithmétique ordinateur
1Arithmétique virgule flottante
1Borne supérieure
1Calcul erreur
1Calcul scientifique
1Erreur arrondi
1Fonction élémentaire
1Formule quadrature
1Informatique théorique
1Intégration numérique
1Langage C
1Logiciel
1Normalisation
1Norme ISO
1Ordinateur
1Portabilité logiciel
1Quadrature
1Sémantique
1Vérification formelle

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/Author.i -k "Laurent Fousse" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Laurent Fousse" \
         | 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=    Author.i
   |clé=    Laurent Fousse
}}
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