The SCEAS System
| |||||||

## Search the dblp DataBase
Dongming Wang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Dongming Wang
**On the Parallelization of Characteristic-Set-Based Algorithms.**[Citation Graph (0, 0)][DBLP] ACPC, 1991, pp:338-349 [Conf] - 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] - Tielin Liang, Dongming Wang
**Towards a Geometric-Object-Oriented Language.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2004, pp:130-155 [Conf] - 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] - 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] - 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] - Dongming Wang
**Decomposing Algebraic Varieties.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1998, pp:180-206 [Conf] - 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] - 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] - Dongming Wang
**Geometry Machines: From AI to SMC.**[Citation Graph (0, 0)][DBLP] AISMC, 1996, pp:213-239 [Conf] - 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] - Dongming Wang
**Algebraic Factoring and Geometry Proving.**[Citation Graph (0, 0)][DBLP] CADE, 1994, pp:386-400 [Conf] - Dongming Wang
**GEOTHER: A Geometry Theorem Prover.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:166-170 [Conf] - 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] - Dongming Wang
**On Wu's Method for Proving Constructive Geometric Theorems.**[Citation Graph (0, 0)][DBLP] IJCAI, 1989, pp:419-424 [Conf] - Dongming Wang, Bican Xia
**Stability analysis of biological systems with real solution classification.**[Citation Graph (0, 0)][DBLP] ISSAC, 2005, pp:354-361 [Conf] - Dongming Wang
**A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks.**[Citation Graph (0, 0)][DBLP] ISSAC, 1991, pp:462-463 [Conf] - 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] - Stephan Dreiseitl, Dongming Wang
**Automatic Generation of C**[Citation Graph (0, 0)][DBLP]^{++}Code for Neural Network Simulation. IWANN, 1993, pp:358-363 [Conf] - Dongming Wang
**A Strategy for Speeding-up the Computation of Characteristic Sets.**[Citation Graph (0, 0)][DBLP] MFCS, 1992, pp:504-510 [Conf] - Dongming Wang, Bernd Schürmann
**Computer Algebra and Neurodynamics.**[Citation Graph (0, 0)][DBLP] Physik und Informatik, 1991, pp:304-317 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **Towards an Electronic Geometry Textbook.**[Citation Graph (, )][DBLP]**Spectral Efficiency of Distributed MIMO Cellular Systems in a Composite Fading Channel.**[Citation Graph (, )][DBLP]**Triangular Decomposition for Algebraic and Geometric Computing.**[Citation Graph (, )][DBLP]**Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems.**[Citation Graph (, )][DBLP]**A Joint Estimator of SNR and Mobile Speed in Wireless Communications.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |