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

Index « Auteurs » - entrée « Philippe Aubry »
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.
Philip K. Mckinley < Philippe Aubry < Philippe Bernat  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
001302 (2002) Philippe Aubry ; Fabrice Rouillier ; Mohab Safey El DinReal solving for positive dimensional systems
001630 (2001) Philippe Aubry ; Dongming WangReasoning about Surfaces Using Differential Zero and Ideal Decomposition
001B80 (2000) Philippe Aubry ; Fabrice Rouillier ; Mohab Safey El DinReal solving for positive dimensional systems
001B90 (2000) Philippe Aubry ; Annick ValibouzeUsing Galois ideals for computing relative resolvents

List of associated KwdEn.i

Nombre de
documents
Descripteur
2algebraic systems
1automatic reasoning
1computer algebra
1connected components
1differential algebra
1differential geometry
1galois ideal
1galois theory
1ideal of relations
1real roots
1real solutions
1resolvent
1triangular decomposition

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Philippe Aubry" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Philippe Aubry" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Philippe Aubry
}}

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