The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Dongming Wang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dongming Wang
    On the Parallelization of Characteristic-Set-Based Algorithms. [Citation Graph (0, 0)][DBLP]
    ACPC, 1991, pp:338-349 [Conf]
  2. Philippe Aubry, Dongming Wang
    Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2000, pp:154-174 [Conf]
  3. Tielin Liang, Dongming Wang
    Towards a Geometric-Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2004, pp:130-155 [Conf]
  4. Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
    Clifford Term Rewriting for Geometric Reasoning in 3D. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:130-155 [Conf]
  5. Dongming Wang
    GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2002, pp:194-215 [Conf]
  6. Dongming Wang
    Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1996, pp:115-140 [Conf]
  7. Dongming Wang
    Decomposing Algebraic Varieties. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:180-206 [Conf]
  8. Stéphane Fèvre, Dongming Wang
    Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:145-156 [Conf]
  9. Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
    Solving Dynamic Geometric Constraints Involving Inequalities. [Citation Graph (0, 0)][DBLP]
    AISC, 2006, pp:181-195 [Conf]
  10. Dongming Wang
    Geometry Machines: From AI to SMC. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:213-239 [Conf]
  11. Stéphane Fèvre, Dongming Wang
    Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:17-31 [Conf]
  12. Dongming Wang
    Algebraic Factoring and Geometry Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:386-400 [Conf]
  13. Dongming Wang
    GEOTHER: A Geometry Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:166-170 [Conf]
  14. Dongming Wang
    Automated Generation of Diagrams with Maple and Java. [Citation Graph (0, 0)][DBLP]
    Algebra, Geometry, and Software Systems, 2003, pp:277-287 [Conf]
  15. Dongming Wang
    On Wu's Method for Proving Constructive Geometric Theorems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:419-424 [Conf]
  16. Dongming Wang, Bican Xia
    Stability analysis of biological systems with real solution classification. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:354-361 [Conf]
  17. Dongming Wang
    A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1991, pp:462-463 [Conf]
  18. Wei Pan, Dongming Wang
    Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2006, pp:269-276 [Conf]
  19. Stephan Dreiseitl, Dongming Wang
    Automatic Generation of C++ Code for Neural Network Simulation. [Citation Graph (0, 0)][DBLP]
    IWANN, 1993, pp:358-363 [Conf]
  20. Dongming Wang
    A Strategy for Speeding-up the Computation of Characteristic Sets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1992, pp:504-510 [Conf]
  21. Dongming Wang, Bernd Schürmann
    Computer Algebra and Neurodynamics. [Citation Graph (0, 0)][DBLP]
    Physik und Informatik, 1991, pp:304-317 [Conf]
  22. Ya Jing, Dongming Wang, Ming Chen, Shixin Cheng, Haifeng Wang
    Reduced complexity MIMO-OFDM channel estimation based on parametric channel model. [Citation Graph (0, 0)][DBLP]
    VTC Fall (2), 2004, pp:1372-1376 [Conf]
  23. Dongming Wang
    Elimination Procedures for Mechanical Theorem Proving in geometry. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:1-24 [Journal]
  24. Dongming Wang
    Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases. [Citation Graph (0, 0)][DBLP]
    Computer Aided Geometric Design, 1992, v:9, n:6, pp:471-484 [Journal]
  25. Stéphane Fèvre, Dongming Wang
    Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:85-104 [Journal]
  26. Dongming Wang
    Computing Triangular Systems and Regular Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:30, n:2, pp:221-236 [Journal]
  27. Dongming Wang
    A simple method for implicitizing rational curves and surfaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2004, v:38, n:1, pp:899-914 [Journal]
  28. Dongming Wang
    An Elimination Method for Polynomial Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:16, n:2, pp:83-114 [Journal]
  29. Dongming Wang
    Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:18, n:3, pp:249-263 [Journal]
  30. Dongming Wang
    Decomposing Polynomial Systems into Simple Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1998, v:25, n:3, pp:295-314 [Journal]
  31. Dongming Wang
    Polynomial Systems from Certain Differential Equations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1999, v:28, n:1-2, pp:303-315 [Journal]
  32. Dongming Wang
    A Method for Proving Theorems in Differebtial Geometry and Mechanics [Citation Graph (0, 0)][DBLP]
    J. UCS, 1995, v:1, n:9, pp:658-673 [Journal]
  33. Dongming Wang, Bernd Schürmann
    Computer Aided Analysis and Derivation for Artificial Neural Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:8, pp:728-735 [Journal]
  34. Linna Zhou, Dongming Wang, Yunbiao Guo, Jingfei Zhang
    Blur Detection of Digital Forgery Using Mathematical Morphology. [Citation Graph (0, 0)][DBLP]
    KES-AMSTA, 2007, pp:990-998 [Conf]

  35. Towards an Electronic Geometry Textbook. [Citation Graph (, )][DBLP]


  36. Spectral Efficiency of Distributed MIMO Cellular Systems in a Composite Fading Channel. [Citation Graph (, )][DBLP]


  37. Triangular Decomposition for Algebraic and Geometric Computing. [Citation Graph (, )][DBLP]


  38. Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. [Citation Graph (, )][DBLP]


  39. A Joint Estimator of SNR and Mobile Speed in Wireless Communications. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.325secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002