Dongming Wang

Meng Jin, Xiaoliang Li, Dongming Wang: A new algorithmic scheme for computing characteristic sets. J. Symb. Comput. 50: 431-449 (2013)

Chenqi Mou, Dongming Wang, Xiaoliang Li: Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case. Theor. Comput. Sci. 468: 102-113 (2013)

Wei Niu, Dongming Wang: Algebraic analysis of stability and bifurcation of a self-assembling micelle system. Applied Mathematics and Computation 219(1): 108-121 (2012)

Xiaoyu Chen, Dongming Wang: Management of geometric knowledge in textbooks. Data Knowl. Eng. 73: 43-57 (2012)

Jiamin Li, Dongming Wang, Pengcheng Zhu, Lan Tang, Xiaohu You: Optimal Distributed Beamforming for Two-User MISO Interference Channel Based on a Game-Theoretic Viewpoint. IEICE Transactions 95-B(10): 3345-3348 (2012)

Jiamin Li, Dongming Wang, Pengcheng Zhu, Lan Tang, Xiaohu You: Coordinated beamforming design using duality theory with dynamic cooperation clusters. IET Communications 6(12): 1662-1669 (2012)

Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang: Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). AISC/MKM/Calculemus 2012: 432-437

Jing Yang, Dongming Wang, Hoon Hong: Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. CASC 2012: 349-360

Ting Zhao, Hoon Hong, Dongming Wang, Philippe Aubry: Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints. SAC 2012: 94-101

Yanli Huang, Dongming Wang: Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases. Computer Aided Geometric Design 28(9): 566-581 (2011)

Jiamin Li, Dongming Wang, Pengcheng Zhu, Lan Tang, Xiaohu You: Distributed Cooperative Multicell Beamforming Based on a Viewpoint of Layered Channel. IEICE Transactions 94-B(12): 3225-3231 (2011)

Xiaohu You, Dongming Wang, Pengcheng Zhu, Bin Sheng: Cell Edge Performance of Cellular Mobile Systems. IEEE Journal on Selected Areas in Communications 29(6): 1139-1150 (2011)

Ting Zhao, Dongming Wang, Hoon Hong: Solution formulas for cubic equations without or with constraints. J. Symb. Comput. 46(8): 904-918 (2011)

Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang: Stability Analysis for Discrete Biological Models Using Algebraic Methods. Mathematics in Computer Science 5(3): 247-262 (2011)

Liping Huang, Dongming Wang, Xiangyang Wang: Capacity Improvement for Cell-Edge Primary User with the Cooperation of the Secondary User in DAS. VTC Spring 2011: 1-5

Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (Eds.): 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011. IEEE Computer Society 2011, isbn 978-1-4673-0207-4

Meng Jin, Xiaoliang Li, Dongming Wang: A New Algorithmic Scheme for Computing Characteristic Sets. CoRR abs/1108.1486 (2011)

Feng Shu, Stevan M. Berber, Dongming Wang, Qingchuan Zhang, Michael Mao Wang: ML integer frequency offset estimation for OFDM systems with null subcarriers: Estimation range and pilot design. SCIENCE CHINA Information Sciences 53(12): 2567-2575 (2010)

Xiaoliang Li, Chenqi Mou, Dongming Wang: Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case. Computers & Mathematics with Applications 60(11): 2983-2997 (2010)

Zhanjun Jiang, Dongming Wang, Xiaohu You: Tradeoffs between Throughput and Fairness of Parallel Round Robin Scheduling in DAS. IEICE Transactions 93-B(12): 3530-3533 (2010)

Xiaohu You, Dongming Wang, Bin Sheng, Xiqi Gao, Xin-Sheng Zhao, Ming Chen: Cooperative distributed antenna systems for mobile communications. IEEE Wireless Commun. 17(3): 35-43 (2010)

Jingyu Hua, Limin Meng, Gang Li, Dongming Wang, Xiaohu You: An Accurate Scheme for Channel Parameter Estimation in Mobile Propagations. IEICE Transactions 92-C(1): 116-120 (2009)

Zhanjun Jiang, Jiang Wu, Dongming Wang, Xiaohu You: Parallel Proportion Fair Scheduling in DAS with Partial Channel State Information. IEICE Transactions 92-B(6): 2312-2315 (2009)

Jingyu Hua, Limin Meng, Xiaojian Xu, Dongming Wang, Xiaohu You: Novel Scheme for Joint Estimation of SNR, Doppler, and Carrier Frequency Offset in Double-Selective Wireless Channels. IEEE T. Vehicular Technology 58(3): 1204-1217 (2009)

Yanli Huang, Dongming Wang: Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases. SYNASC 2009: 28-36

Wei Niu, Dongming Wang: Algebraic Approaches to Stability Analysis of Biological Systems. Mathematics in Computer Science 1(3): 507-539 (2008)

Dongming Wang, Xiaohu You: Data Throughputs of Noise-Limited MIMO Cellular Systems. IEEE Transactions on Signal Processing 56(5): 2165-2170 (2008)

Wei Niu, Dongming Wang: Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. AB 2008: 156-171

Xiaoyu Chen, Ying Huang, Dongming Wang: On the Design and Implementation of a Geometric Knowledge Base. Automated Deduction in Geometry 2008: 22-41

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

Dongming Wang: Triangular Decomposition for Algebraic and Geometric Computing. SYNASC 2008: 28

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)

Dongming Wang, Zhiming Zheng: Editorial. Mathematics in Computer Science 1(1): 1-2 (2007)

Dongming Wang, Lihong Zhi: Foreword. Mathematics in Computer Science 1(2): 209-210 (2007)

Linna Zhou, Dongming Wang, Yunbiao Guo, Jingfei Zhang: Blur Detection of Digital Forgery Using Mathematical Morphology. KES-AMSTA 2007: 990-998

Jingyu Hua, Limin Meng, Xiaojiang Xu, Zhijiang Xu, Dongming Wang: A Joint Estimator of SNR and Mobile Speed in Wireless Communications. SiPS 2007: 121-125

Dongming Wang (Ed.): Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings. ACM 2007, isbn 978-1-59593-743-8

Xiaoyu Chen, Dongming Wang: Towards an Electronic Geometry Textbook. Automated Deduction in Geometry 2006: 1-23

Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang: Solving Dynamic Geometric Constraints Involving Inequalities. AISC 2006: 181-195

Wei Pan, Dongming Wang: Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. ISSAC 2006: 269-276

Hoon Hong, Dongming Wang (Eds.): Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Lecture Notes in Computer Science 3763, Springer 2006, isbn 3-540-31332-X

Jacques Calmet, Tetsuo Ida, Dongming Wang (Eds.): Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Lecture Notes in Computer Science 4120, Springer 2006, isbn 3-540-39728-0

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)

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)

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)

Dongming Wang: The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems. Algorithmic Algebra and Logic 2005: 269-274

Dongming Wang, Yanxiang Jiang, Jingyu Hua, Xiqi Gao, Xiaohu You: Low complexity soft decision equalization for block transmission systems. ICC 2005: 2372-2376

Yanxiang Jiang, Dongming Wang, Xiqi Gao, Xiaohu You: Low complexity frequency offset estimator for OFDM with time-frequency training sequence. ICC 2005: 2553-2557

Dongming Wang, Bican Xia: Stability analysis of biological systems with real solution classification. ISSAC 2005: 354-361

Dongming Wang: A simple method for implicitizing rational curves and surfaces. J. Symb. Comput. 38(1): 899-914 (2004)

Tielin Liang, Dongming Wang: Towards a Geometric-Object-Oriented Language. Automated Deduction in Geometry 2004: 130-155

Dongming Wang, Jingyu Hua, Xiqi Gao, Xiaohu You, Woogoo Park: Low complexity iterative receiver for multiuser STBC block transmission systems. GLOBECOM 2004: 1086-1090

Dongming Wang, Junhui Zhao, Xiqi Gao, Xiaohu You: Space-time turbo detection and decoding for MIMO block transmission systems. ICC 2004: 2914-2918

Dongming Wang, Jingyu Hua, Xiqi Gao, Xiaohu You, Martin Weckerle, Elena Costa: Turbo detection and decoding for single-carrier block transmission systems. PIMRC 2004: 1163-1167

Junhui Zhao, Sanghoon Lee, Dongming Wang, Xiaohu You: SOVA equalization for multi-code CDMA system with low spreading factor. PIMRC 2004: 2565-2569

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

Dongming Wang, Junhui Zhao, Xiqi Gao, Xiaohu You, Woogoo Park, Yun Hee Kim: Turbo detection and decoding for space-time block-coded block transmission systems. WCNC 2004: 1631-1635

Dongming Wang: Automated Generation of Diagrams with Maple and Java. Algebra, Geometry, and Software Systems 2003: 277-287

Dongming Wang: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. Automated Deduction in Geometry 2002: 194-215

Jürgen Richter-Gebert, Dongming Wang (Eds.): Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. Lecture Notes in Computer Science 2061, Springer 2001, isbn 3-540-42598-5

Dongming Wang: Computing Triangular Systems and Regular Systems. J. Symb. Comput. 30(2): 221-236 (2000)

Philippe Aubry, Dongming Wang: Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. Automated Deduction in Geometry 2000: 154-174

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)

Dongming Wang: Polynomial Systems from Certain Differential Equations. J. Symb. Comput. 28(1-2): 303-315 (1999)

Xiao-Shan Gao, Dongming Wang, Lu Yang (Eds.): Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669, Springer 1999, isbn 3-540-66672-9

Dongming Wang: Decomposing Polynomial Systems into Simple Systems. J. Symb. Comput. 25(3): 295-314 (1998)

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

Dongming Wang: Decomposing Algebraic Varieties. Automated Deduction in Geometry 1998: 180-206

Stéphane Fèvre, Dongming Wang: Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. AISC 1998: 145-156

Stéphane Fèvre, Dongming Wang: Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. CADE 1998: 17-31

Dongming Wang (Ed.): Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. Lecture Notes in Computer Science 1360, Springer 1997, isbn 3-540-64297-8

Dongming Wang: Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. Automated Deduction in Geometry 1996: 115-140

Dongming Wang: Geometry Machines: From AI to SMC. AISMC 1996: 213-239

Dongming Wang: GEOTHER: A Geometry Theorem Prover. CADE 1996: 166-170

Dongming Wang: Elimination Procedures for Mechanical Theorem Proving in geometry. Ann. Math. Artif. Intell. 13(1-2): 1-24 (1995)

Dongming Wang: A Method for Proving Theorems in Differebtial Geometry and Mechanics. J. UCS 1(9): 658-673 (1995)

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)

Dongming Wang: Algebraic Factoring and Geometry Proving. CADE 1994: 386-400

Dongming Wang: An Elimination Method for Polynomial Systems. J. Symb. Comput. 16(2): 83-114 (1993)

Stephan Dreiseitl, Dongming Wang: Automatic Generation of C⁺⁺ Code for Neural Network Simulation. IWANN 1993: 358-363

Dongming Wang: Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases. Computer Aided Geometric Design 9(6): 471-484 (1992)

Dongming Wang, Bernd Schürmann: Computer Aided Analysis and Derivation for Artificial Neural Systems. IEEE Trans. Software Eng. 18(8): 728-735 (1992)

Dongming Wang: A Strategy for Speeding-up the Computation of Characteristic Sets. MFCS 1992: 504-510

Dongming Wang: On the Parallelization of Characteristic-Set-Based Algorithms. ACPC 1991: 338-349

Dongming Wang: A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. ISSAC 1991: 462-463

Dongming Wang, Bernd Schürmann: Computer Algebra and Neurodynamics. Physik und Informatik 1991: 304-317

Dongming Wang: On Wu's Method for Proving Constructive Geometric Theorems. IJCAI 1989: 419-424