Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

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.
Dongdai Lin < Dongming Wang < Doratti Razafimahatratra  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19. **** probable Xml problem ****
Ident.Authors (with country if any)Title
000822 (2004) Dongming WangA Simple Method for Implicitizing Rational Curves and Surfaces
000B19 (2003) Dongming WangElimination Practice : Software Tools and Applications
000B85 (2003) Dongming WangGEOTHER 1.1 : Handling and Proving Geometric Theorems Automatically
000C15 (2003) Dongming WangAutomated Generation of Diagrams with Maple and Java
000C43 (2003) Dongming WangImplicitization and Offsetting via Regular Systems
000C99 (2003) Dongming WangSelected Lectures in Symbolic Computation
000D49 (2003) Falai Chen ; Dongming WangGeometric Computation
001009 (2002) Dongming WangEpsilon : A Library of Software Tools for Polynomial Elimination
001332 (2002) Dongming WangMéthodes d'élimination avec applications
001563 (2001) Dongming Wang ; Dongdai LinA Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields
001584 (2001) Xiaorong Hou ; Hongbo Li ; Dongming Wang ; Lu Yang``Russian Killer'' No. 2 : A Challenging Geometric Theorem with Human and Machine Proofs
001630 (2001) Philippe Aubry ; Dongming WangReasoning about Surfaces Using Differential Zero and Ideal Decomposition
001691 (2001) Dongming WangA Generalized Algorithm for Computing Characteristic Sets
001697 (2001) Dongming WangElimination Theory, Methods, and Practice
001702 (2001) Dongming WangGeometric Reasoning with Geometric Algebra
001729 (2001) Dongming WangElimination Methods
001746