FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.i » - entrée « Arithmétique »
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.
Archive électronique < Arithmétique < Arithmétique Heyting  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
000006 (2014) Jean-Charles Faugere [France] ; Pierrick Gaudry [France] ; Louise Huot [France] ; Guénaël Renault [France]Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm
000237 (2009) Damien Jamet [France] ; Jean-Luc Toutant [France]Minimal arithmetic thickness connecting discrete planes
000298 (2007) Laurent Fousse [France]Multiple-precision correctly rounded newton-cotes quadrature
000388 (2006) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient theory combination via boolean search
000408 (2006) I. Debled-Rennesson [France] ; E. Domenjoud [France] ; D. Jamet [France]Arithmetic Discrete Parabolas
000472 (2005) Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; DUC KHANH TRAN [France]On superposition-based satisfiability procedures and their combination
000484 (2005) Isabelle Debled-Rennesson [France] ; Jean-Luc Remy [France] ; Jocelyne Rouyer-Degli [France]Linear segmentation of discrete curves into blurred segments
000593 (2004) Phong Q. Nguyen [France] ; Damien Stehle [France]Low-dimensional lattice basis reduction revisited

List of associated Author.i

Nombre de
documents		Descripteur
2Silvio Ranise
1Alessandro Cimatti
1Christophe Ringeissen
1D. Jamet
1DUC KHANH TRAN
1Damien Jamet
1Damien Stehle
1E. Domenjoud
1Guénaël Renault
1Hélène Kirchner
1I. Debled-Rennesson
1Isabelle Debled-Rennesson
1Jean-Charles Faugere
1Jean-Luc Remy
1Jean-Luc Toutant
1Jocelyne Rouyer-Degli
1Laurent Fousse
1Louise Huot
1Marco Bozzano
1Peter Van Rossum
1Phong Q. Nguyen
1Pierrick Gaudry
1Roberto Bruttomesso
1Roberto Sebastiani
1Tommi Junttila

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 "Arithmétique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Arithmétique" \
         | 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é=    Arithmétique
}}
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