2008 |
50 | EE | Wei Niu,
Dongming Wang:
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems.
AB 2008: 156-171 |
49 | EE | Dongming Wang,
Xiaohu You,
Jiangzhou Wang,
Yan Wang,
Xiaoyun Hou:
Spectral Efficiency of Distributed MIMO Cellular Systems in a Composite Fading Channel.
ICC 2008: 1259-1264 |
48 | EE | Wei Niu,
Dongming Wang:
Algebraic Approaches to Stability Analysis of Biological Systems.
Mathematics in Computer Science 1(3): 507-539 (2008) |
2007 |
47 | | Dongming Wang:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings
ACM 2007 |
46 | EE | Linna Zhou,
Dongming Wang,
Yunbiao Guo,
Jingfei Zhang:
Blur Detection of Digital Forgery Using Mathematical Morphology.
KES-AMSTA 2007: 990-998 |
45 | EE | Tielin Liang,
Dongming Wang:
On the design and implementation of a geometric-object-oriented language.
Frontiers of Computer Science in China 1(2): 180-190 (2007) |
44 | EE | Dongming Wang,
Zhiming Zheng:
Editorial.
Mathematics in Computer Science 1(1): 1-2 (2007) |
43 | EE | Dongming Wang,
Lihong Zhi:
Foreword.
Mathematics in Computer Science 1(2): 209-210 (2007) |
2006 |
42 | | Hoon Hong,
Dongming Wang:
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Springer 2006 |
41 | | Jacques Calmet,
Tetsuo Ida,
Dongming Wang:
Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Springer 2006 |
40 | EE | Hoon Hong,
Liyun Li,
Tielin Liang,
Dongming Wang:
Solving Dynamic Geometric Constraints Involving Inequalities.
AISC 2006: 181-195 |
39 | EE | Xiaoyu Chen,
Dongming Wang:
Towards an Electronic Geometry Textbook.
Automated Deduction in Geometry 2006: 1-23 |
38 | EE | Wei Pan,
Dongming Wang:
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents.
ISSAC 2006: 269-276 |
2005 |
37 | EE | Dongming Wang,
Bican Xia:
Stability analysis of biological systems with real solution classification.
ISSAC 2005: 354-361 |
36 | EE | Dongming Wang,
Xiqi Gao,
Xiaohu You:
Polynomial Expansion Linear Detector Based Turbo Receiver for Block Transmission Systems.
IEICE Transactions 88-A(11): 3123-3126 (2005) |
35 | EE | Junhui Zhao,
Dongming Wang,
Xiaohu You,
Yun Hee Kim:
RAKE-SOVA Equalization for Multi-Code CDMA System with Low Spreading Factor.
IEICE Transactions 88-B(5): 2087-2092 (2005) |
34 | EE | Jingyu Hua,
Xiaohu You,
Dongming Wang:
An Improved Scheme for Channel Parameter Estimation in Mobile Communication Systems.
IEICE Transactions 88-C(12): 2325-2329 (2005) |
2004 |
33 | EE | Tielin Liang,
Dongming Wang:
Towards a Geometric-Object-Oriented Language.
Automated Deduction in Geometry 2004: 130-155 |
32 | EE | Ya Jing,
Dongming Wang,
Ming Chen,
Shixin Cheng,
Haifeng Wang:
Reduced complexity MIMO-OFDM channel estimation based on parametric channel model.
VTC Fall (2) 2004: 1372-1376 |
31 | EE | Dongming Wang:
A simple method for implicitizing rational curves and surfaces.
J. Symb. Comput. 38(1): 899-914 (2004) |
2003 |
30 | | Dongming Wang:
Automated Generation of Diagrams with Maple and Java.
Algebra, Geometry, and Software Systems 2003: 277-287 |
2002 |
29 | EE | Dongming Wang:
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.
Automated Deduction in Geometry 2002: 194-215 |
2001 |
28 | | Jürgen Richter-Gebert,
Dongming Wang:
Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Springer 2001 |
2000 |
27 | EE | Philippe Aubry,
Dongming Wang:
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition.
Automated Deduction in Geometry 2000: 154-174 |
26 | | Dongming Wang:
Computing Triangular Systems and Regular Systems.
J. Symb. Comput. 30(2): 221-236 (2000) |
1999 |
25 | | Xiao-Shan Gao,
Dongming Wang,
Lu Yang:
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Springer 1999 |
24 | | Stéphane Fèvre,
Dongming Wang:
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving.
Fundam. Inform. 39(1-2): 85-104 (1999) |
23 | | Dongming Wang:
Polynomial Systems from Certain Differential Equations.
J. Symb. Comput. 28(1-2): 303-315 (1999) |
1998 |
22 | EE | Stéphane Fèvre,
Dongming Wang:
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.
AISC 1998: 145-156 |
21 | EE | Thierry Boy de la Tour,
Stéphane Fèvre,
Dongming Wang:
Clifford Term Rewriting for Geometric Reasoning in 3D.
Automated Deduction in Geometry 1998: 130-155 |
20 | EE | Dongming Wang:
Decomposing Algebraic Varieties.
Automated Deduction in Geometry 1998: 180-206 |
19 | EE | Stéphane Fèvre,
Dongming Wang:
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.
CADE 1998: 17-31 |
18 | | Dongming Wang:
Decomposing Polynomial Systems into Simple Systems.
J. Symb. Comput. 25(3): 295-314 (1998) |
1997 |
17 | | Dongming Wang:
Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Springer 1997 |
1996 |
16 | | Dongming Wang:
Geometry Machines: From AI to SMC.
AISMC 1996: 213-239 |
15 | | Dongming Wang:
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision.
Automated Deduction in Geometry 1996: 115-140 |
14 | | Dongming Wang:
GEOTHER: A Geometry Theorem Prover.
CADE 1996: 166-170 |
1995 |
13 | | Dongming Wang:
Elimination Procedures for Mechanical Theorem Proving in geometry.
Ann. Math. Artif. Intell. 13(1-2): 1-24 (1995) |
12 | EE | Dongming Wang:
A Method for Proving Theorems in Differebtial Geometry and Mechanics
J. UCS 1(9): 658-673 (1995) |
1994 |
11 | | Dongming Wang:
Algebraic Factoring and Geometry Proving.
CADE 1994: 386-400 |
10 | | Dongming Wang:
Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications.
J. Symb. Comput. 18(3): 249-263 (1994) |
1993 |
9 | | Stephan Dreiseitl,
Dongming Wang:
Automatic Generation of C++ Code for Neural Network Simulation.
IWANN 1993: 358-363 |
8 | | Dongming Wang:
An Elimination Method for Polynomial Systems.
J. Symb. Comput. 16(2): 83-114 (1993) |
1992 |
7 | | Dongming Wang:
A Strategy for Speeding-up the Computation of Characteristic Sets.
MFCS 1992: 504-510 |
6 | EE | Dongming Wang:
Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases.
Computer Aided Geometric Design 9(6): 471-484 (1992) |
5 | EE | Dongming Wang,
Bernd Schürmann:
Computer Aided Analysis and Derivation for Artificial Neural Systems.
IEEE Trans. Software Eng. 18(8): 728-735 (1992) |
1991 |
4 | | Dongming Wang:
On the Parallelization of Characteristic-Set-Based Algorithms.
ACPC 1991: 338-349 |
3 | EE | Dongming Wang:
A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks.
ISSAC 1991: 462-463 |
2 | | Dongming Wang,
Bernd Schürmann:
Computer Algebra and Neurodynamics.
Physik und Informatik 1991: 304-317 |
1989 |
1 | | Dongming Wang:
On Wu's Method for Proving Constructive Geometric Theorems.
IJCAI 1989: 419-424 |