Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Dongming Wang »
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.
Dongjin Yu < Dongming Wang < Dongxi Liu  Facettes :

List of bibliographic references indexed by Dongming Wang

Number of relevant bibliographic references: 38.
[0-20] [0 - 20][0 - 38][20-37][20-40]
Ident.Authors (with country if any)Title
006628 (2004-07) Dongming Wang [France]A Simple Method for Implicitizing Rational Curves and Surfaces
006994 (2004) Dongming WangA Simple Method for Implicitizing Rational Curves and Surfaces
007167 (2003-09) Dongming Wang [France]GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically
007588 (2003) Dongming WangElimination Practice : Software Tools and Applications
007654 (2003) Dongming WangGEOTHER 1.1 : Handling and Proving Geometric Theorems Automatically
007684 (2003) Dongming WangAutomated Generation of Diagrams with Maple and Java
007712 (2003) Dongming WangImplicitization and Offsetting via Regular Systems
007768 (2003) Dongming WangSelected Lectures in Symbolic Computation
007818 (2003) Falai Chen ; Dongming WangGeometric Computation
007B88 (2003) Falai Chen [Grèce] ; Dongming Wang [France]Geometric Computation
007D54 (2003) Dongming Wang [France]Selected Lectures in Symbolic Computation
007E11 (2003) Dongming Wang [France]Implicitization and Offsetting via Regular Systems
007E31 (2003) Dongming Wang [France]Elimination Practice: Software Tools and Applications
007E62 (2003) Dongming Wang [France]Automated Generation of Diagrams with Maple and Java
007F82 (2002-08) Dongming Wang [France]Epsilon: A Library of Software Tools for Polynomial Elimination
008321 (2002) Dongming WangEpsilon : A Library of Software Tools for Polynomial Elimination
008644 (2002) Dongming WangMéthodes d'élimination avec applications
008981 (2002) Dongming Wang [France]Méthodes d'élimination avec applications
008C18 (2001-12) Xiaorong Hou [République populaire de Chine] ; Hongbo Li [République populaire de Chine] ; Dongming Wang [France] ; Lu Yang [République populaire de Chine]"Russian Killer'' No. 2: A Challenging Geometric Theorem with Human and Machine Proofs
008F47 (2001) Dongming Wang ; Dongdai LinA Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields
008F68 (2001) Xiaorong Hou ; Hongbo Li ; Dongming Wang ; Lu Yang``Russian Killer'' No. 2 : A Challenging Geometric Theorem with Human and Machine Proofs

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Dongming Wang" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Dongming Wang" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Dongming Wang
}}

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