# Dongming Wang

According to our database

Collaborative distances:

^{1}, Dongming Wang authored at least 191 papers between 1989 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2019

Augmented Real-Valued Time-Delay Neural Network for Compensation of Distortions and Impairments in Wireless Transmitters.

IEEE Trans. Neural Netw. Learning Syst., 2019

Characteristic Decomposition: From Regular Sets to Normal Sets.

J. Systems Science & Complexity, 2019

Foreword to the Special Issue.

J. Systems Science & Complexity, 2019

Channel Estimation and Hybrid Precoding for Distributed Phased Arrays Based MIMO Wireless Communications.

CoRR, 2019

Large System Performance and Distributed Scheme of Downlink Beamforming in F-RANs With Distributed Antennas.

IEEE Access, 2019

Sparse Beamforming for an Ultradensely Distributed Antenna System With Interlaced Clustering.

IEEE Access, 2019

Energy Efficiency Optimization of Distributed Massive MIMO Systems Under Ergodic QoS and Per-RAU Power Constraints.

IEEE Access, 2019

Energy Optimization Algorithms for MIMO-OFDM Based Downlink C-RAN System.

IEEE Access, 2019

A Complexity-Reduced Block Encryption Algorithm Suitable for Internet of Things.

IEEE Access, 2019

2018

Downlink Spectral Efficiency of Distributed Massive MIMO Systems With Linear Beamforming Under Pilot Contamination.

IEEE Trans. Vehicular Technology, 2018

A method based on an improved immune genetic algorithm for the feature fusion of the infrared and visible images.

J. Comput. Meth. in Science and Engineering, 2018

mmWave communications for 5G: implementation challenges and advances.

SCIENCE CHINA Information Sciences, 2018

Uplink spectral efficiency analysis of multi-cell multi-user massive MIMO over correlated Ricean channel.

SCIENCE CHINA Information Sciences, 2018

Design of Waveform Shaping Filter in the UFMC System.

IEEE Access, 2018

Benefits of Beamforming Training Scheme in Distributed Large-Scale MIMO Systems.

IEEE Access, 2018

An Improved Constrained Least Squares Localization Algorithm in NLOS Propagating Environment.

Proceedings of the Machine Learning and Intelligent Communications, 2018

HDAA: High-Speed Data Acquisition Algorithm of IoT.

Proceedings of the Cognitive Systems and Signal Processing - 4th International Conference, 2018

Application of PSO-LSSVM in Bias Correction of Shipborne Anemometer Measurement.

Proceedings of the Cognitive Systems and Signal Processing - 4th International Conference, 2018

: A Linear Algebra Textbook System.

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Effect of Pilot Contamination Over Diversity Gain in Multi-cell MU-MIMO Systems.

Wireless Personal Communications, 2017

Optimality Properties, Closed-Form Parameterizations and Distributed Strategy of the Two-User MISO Interference Channel.

Wireless Personal Communications, 2017

Special Issue on Program Verification, Automated Debugging and Symbolic Computation.

J. Symb. Comput., 2017

Cooperative TDD reciprocity calibration with diversity combining for distributed large-scale MIMO systems.

J. Comm. Inform. Networks, 2017

Bidirectional dynamic networks with massive MIMO: performance analysis.

IET Communications, 2017

Retrieving geometric information from images: the case of hand-drawn diagrams.

Data Min. Knowl. Discov., 2017

Decomposition of polynomial sets into characteristic pairs.

CoRR, 2017

Uplink Spectral Efficiency Analysis of Multi-Cell Multi-User Massive MIMO over Correlated Ricean Channel.

CoRR, 2017

On the use of H-inf criterion in channel estimation and precoding in massive MIMO systems.

SCIENCE CHINA Information Sciences, 2017

Antenna Clustering for Bidirectional Dynamic Network With Large-Scale Distributed Antenna Systems.

IEEE Access, 2017

Uplink Spectral Efficiency Analysis of Distributed Massive MIMO With Channel Impairments.

IEEE Access, 2017

Sparse beamforming for interlaced clustering in distributed antenna systems.

Proceedings of the 9th International Conference on Wireless Communications and Signal Processing, 2017

Hybrid eavesdropping approach against energy-ratio-based detection.

Proceedings of the 9th International Conference on Wireless Communications and Signal Processing, 2017

Downlink performance of hybrid precoding in massive MIMO systems subject to phase noise.

Proceedings of the 9th International Conference on Wireless Communications and Signal Processing, 2017

2016

Mutual Coupling Calibration for Multiuser Massive MIMO Systems.

IEEE Trans. Wireless Communications, 2016

Area Spectral Efficiency and Area Energy Efficiency of Massive MIMO Cellular Systems.

IEEE Trans. Vehicular Technology, 2016

Energy-Efficient Optimization for Downlink Massive MIMO FDD Systems With Transmit-Side Channel Correlation.

IEEE Trans. Vehicular Technology, 2016

On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases.

Mathematics in Computer Science, 2016

Foreword.

Mathematics in Computer Science, 2016

Uplink symbol error rate analysis of multicell multiuser-multiple-input-multiple-output systems with minimum mean square error receiver under pilot contamination.

IET Communications, 2016

Design of Pilot Assignment for Large-Scale Distributed Antenna Systems.

IEICE Transactions, 2016

An Overview of Transmission Theory and Techniques of Large-scale Antenna Systems for 5G Wireless Communications.

CoRR, 2016

Impact of RF mismatches on the performance of massive MIMO systems with ZF precoding.

SCIENCE CHINA Information Sciences, 2016

TDD reciprocity calibration for multi-user massive MIMO systems with iterative coordinate descent.

SCIENCE CHINA Information Sciences, 2016

An overview of transmission theory and techniques of large-scale antenna systems for 5G wireless communications.

SCIENCE CHINA Information Sciences, 2016

Optimal remote radio head selection for cloud radio access networks.

SCIENCE CHINA Information Sciences, 2016

Channel Estimation for Massive MIMO-OFDM Systems by Tracking the Joint Angle-Delay Subspace.

IEEE Access, 2016

Bidirectional dynamic network for asymmetry traffic with massive MIMO.

Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

Physical Layer Packet Coding: Inter-Block Cooperative Coding for 5G.

Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016

Construction of Structured LDPC Code Based on Correlation Limitation.

Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016

Downlink and Uplink Transmissions in Distributed Large-Scale MIMO Systems for BD Precoding with Partial Calibration.

Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016

Reciprocity Calibration for Massive MIMO Systems by Mutual Coupling between Adjacent Antennas.

Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016

Robust object tracking via weight-based local sparse appearance model.

Proceedings of the 12th International Conference on Natural Computation, 2016

Spectral Efficiency of Bidirectional Dynamic Networks with Massive MIMO.

Proceedings of the 2016 IEEE Global Communications Conference, 2016

2015

On Power Allocation for Incremental Redundancy Hybrid ARQ.

IEEE Trans. Wireless Communications, 2015

Accurate and Simple Wireless Localizations Based on Time Product of Arrival in the DDM-NLOS Propagation Environment.

J. Sel. Topics Signal Processing, 2015

Spectral efficiency analysis of large-scale distributed antenna system in a composite correlated Rayleigh fading channel.

IET Communications, 2015

Robust Beamforming for Joint Transceiver Design in

*K*-User Interference Channel over Energy Efficient 5G.
IEICE Transactions, 2015

Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471).

Dagstuhl Reports, 2015

On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases.

CoRR, 2015

Automated generation of geometric theorems from images of diagrams.

Ann. Math. Artif. Intell., 2015

Area spectral efficiency and area energy efficiency analysis in massive MIMO systems.

Proceedings of the International Conference on Wireless Communications & Signal Processing, 2015

Reciprocity of mutual coupling for TDD massive MIMO systems.

Proceedings of the International Conference on Wireless Communications & Signal Processing, 2015

A new transceiver design based on weighted sum-MSE criterion for multi-cell MIMO interfering broadcast channels.

Proceedings of the International Conference on Wireless Communications & Signal Processing, 2015

An efficient interference mitigating scheme for cognitive radio networks: From the perspective of space pooling.

Proceedings of the International Conference on Wireless Communications & Signal Processing, 2015

Area Spectral Efficiency and Energy Efficiency Analysis in Downlink Massive MIMO Systems.

Proceedings of the IEEE 82nd Vehicular Technology Conference, 2015

Secrecy Analysis for Massive MIMO Systems with Internal Eavesdroppers.

Proceedings of the IEEE 82nd Vehicular Technology Conference, 2015

Large-Scale Multi-User Distributed Antenna System for 5G Wireless Communications.

Proceedings of the IEEE 81st Vehicular Technology Conference, 2015

Searching for Geometric Theorems Using Features Retrieved from Diagrams.

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Analysis of BD precoding for distributed large-scale MIMO systems with RF mismatches at UEs.

Proceedings of the 2015 IEEE/CIC International Conference on Communications in China, 2015

ICD reciprocity calibration for distributed large-scale MIMO systems with BD precoding.

Proceedings of the 2015 IEEE/CIC International Conference on Communications in China, 2015

3-Dimension Coverage with ultra-densely distributed antenna systems: System design and rate analysis.

Proceedings of the 2015 IEEE International Conference on Communications, 2015

Downlink spectral efficiency of multi-cell multi-user large-scale DAS with pilot contamination.

Proceedings of the 2015 IEEE International Conference on Communications, 2015

Segment training based channel estimation and training design in cloud radio access networks.

Proceedings of the 2015 IEEE International Conference on Communications, 2015

Joint Use of H-inf Criterion in Channel Estimation and Precoding to Mitigate Pilot Contamination in Massive MIMO Systems.

Proceedings of the 2015 IEEE Global Communications Conference, 2015

2014

Uplink Sum-Rate Analysis of Massive MIMO System with Pilot Contamination and CSI Delay.

Wireless Personal Communications, 2014

Energy efficiency comparison between distributed and co-located MIMO systems.

Int. J. Communication Systems, 2014

Spectral efficiency analysis of single-cell multi-user large-scale distributed antenna system.

IET Communications, 2014

The Spaces of Data, Information, and Knowledge.

CoRR, 2014

Automated Generation of Geometric Theorems from Images of Diagrams.

CoRR, 2014

Security analysis for Rayleigh fading channel by artificial noise.

Proceedings of the Sixth International Conference on Wireless Communications and Signal Processing, 2014

OpenGeo: An Open Geometric Knowledge Base.

Proceedings of the Mathematical Software - ICMS 2014, 2014

Uplink SER analysis of multi-cell multi-user TDD system with pilot contamination.

Proceedings of the 2014 IEEE/CIC International Conference on Communications in China, 2014

Doppler shift estimation exploiting iterative processing in mobile communications.

Proceedings of the International Workshop on High Mobility Wireless Communications, 2014

Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.

Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2013

Closed-Form Solutions to the Pareto Boundary and Distributed Beamforming Strategy for the Two-User MISO Interference Channel.

Wireless Personal Communications, 2013

Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case.

Theor. Comput. Sci., 2013

Foreword to the Special Focus on Mathematics, Data and Knowledge.

Mathematics in Computer Science, 2013

Formalization and Specification of Geometric Knowledge Objects.

Mathematics in Computer Science, 2013

A new algorithmic scheme for computing characteristic sets.

J. Symb. Comput., 2013

Spectral Efficiency of Distributed MIMO Systems.

IEEE Journal on Selected Areas in Communications, 2013

A Power Adaptation Method for Finite Length Block Fading Channel with Multiple Antennas.

IEICE Transactions, 2013

Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification.

CoRR, 2013

A framework for improving uniformity of parameterizations of curves.

SCIENCE CHINA Information Sciences, 2013

Improving angular speed uniformity by reparameterization.

Computer Aided Geometric Design, 2013

Antenna location design for distributed antenna systems with pilot contamination.

Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

A class of low complexity spectrum sensing algorithms based on statistical covariances.

Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

Spectral efficiency of multi-cell multi-user DAS with pilot contamination.

Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Uplink sum-rate analysis of multi-cell multi-user massive MIMO system.

Proceedings of IEEE International Conference on Communications, 2013

2012

Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems.

Int. J. Control, 2012

Coordinated beamforming design using duality theory with dynamic cooperation clusters.

IET Communications, 2012

Optimal Distributed Beamforming for Two-User MISO Interference Channel Based on a Game-Theoretic Viewpoint.

IEICE Transactions, 2012

Management of geometric knowledge in textbooks.

Data Knowl. Eng., 2012

GeoText: an intelligent dynamic geometry textbook.

ACM Comm. Computer Algebra, 2012

Algebraic analysis of stability and bifurcation of a self-assembling micelle system.

Applied Mathematics and Computation, 2012

Closed-form solutions to the Pareto boundary and optimal distributed strategy for the two-user MISO interference channel.

Proceedings of the International Conference on Wireless Communications and Signal Processing, 2012

Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints.

Proceedings of the ACM Symposium on Applied Computing, 2012

Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization.

Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves.

Proceedings of the Computer Mathematics, 2012

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description).

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization.

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management.

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2011

Stability Analysis for Discrete Biological Models Using Algebraic Methods.

Mathematics in Computer Science, 2011

Solution formulas for cubic equations without or with constraints.

J. Symb. Comput., 2011

Cell Edge Performance of Cellular Mobile Systems.

IEEE Journal on Selected Areas in Communications, 2011

Distributed Cooperative Multicell Beamforming Based on a Viewpoint of Layered Channel.

IEICE Transactions, 2011

A New Algorithmic Scheme for Computing Characteristic Sets

CoRR, 2011

Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases.

Computer Aided Geometric Design, 2011

An improved distributed iterative beamforming algorithm with cooperative base stations.

Proceedings of the 2011 International Conference on Wireless Communications & Signal Processing, 2011

User cooperation communication based on cognitive radio in DAS.

Proceedings of the 2011 International Conference on Wireless Communications & Signal Processing, 2011

Capacity Improvement for Cell-Edge Primary User with the Cooperation of the Secondary User in DAS.

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

2010

Cooperative distributed antenna systems for mobile communications.

IEEE Wireless Commun., 2010

Tradeoffs between Throughput and Fairness of Parallel Round Robin Scheduling in DAS.

IEICE Transactions, 2010

Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case.

Computers & Mathematics with Applications, 2010

ML integer frequency offset estimation for OFDM systems with null subcarriers: Estimation range and pilot design.

SCIENCE CHINA Information Sciences, 2010

2009

Novel Scheme for Joint Estimation of SNR, Doppler, and Carrier Frequency Offset in Double-Selective Wireless Channels.

IEEE Trans. Vehicular Technology, 2009

Parallel Proportion Fair Scheduling in DAS with Partial Channel State Information.

IEICE Transactions, 2009

An Accurate Scheme for Channel Parameter Estimation in Mobile Propagations.

IEICE Transactions, 2009

Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases.

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

2008

Data Throughputs of Noise-Limited MIMO Cellular Systems.

IEEE Trans. Signal Processing, 2008

Algebraic Approaches to Stability Analysis of Biological Systems.

Mathematics in Computer Science, 2008

Triangular Decomposition for Algebraic and Geometric Computing.

Proceedings of the SYNASC 2008, 2008

Spectral Efficiency of Distributed MIMO Cellular Systems in a Composite Fading Channel.

Proceedings of IEEE International Conference on Communications, 2008

On the Design and Implementation of a Geometric Knowledge Base.

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems.

Proceedings of the Algebraic Biology, Third International Conference, 2008

2007

Foreword.

Mathematics in Computer Science, 2007

Editorial.

Mathematics in Computer Science, 2007

On the design and implementation of a geometric-object-oriented language.

Frontiers Comput. Sci. China, 2007

A Joint Estimator of SNR and Mobile Speed in Wireless Communications.

Proceedings of the IEEE Workshop on Signal Processing Systems, 2007

Blur Detection of Digital Forgery Using Mathematical Morphology.

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2007

2006

Uniform Gröbner bases for ideals generated by polynomials with parametric exponents.

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

Solving Dynamic Geometric Constraints Involving Inequalities.

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

Towards an Electronic Geometry Textbook.

Proceedings of the Automated Deduction in Geometry, 2006

2005

RAKE-SOVA Equalization for Multi-Code CDMA System with Low Spreading Factor.

IEICE Transactions, 2005

Polynomial Expansion Linear Detector Based Turbo Receiver for Block Transmission Systems.

IEICE Transactions, 2005

An Improved Scheme for Channel Parameter Estimation in Mobile Communication Systems.

IEICE Transactions, 2005

Stability analysis of biological systems with real solution classification.

Proceedings of the Symbolic and Algebraic Computation, 2005

Low complexity soft decision equalization for block transmission systems.

Proceedings of IEEE International Conference on Communications, 2005

Low complexity frequency offset estimator for OFDM with time-frequency training sequence.

Proceedings of IEEE International Conference on Communications, 2005

The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

A simple method for implicitizing rational curves and surfaces.

J. Symb. Comput., 2004

Turbo detection and decoding for space-time block-coded block transmission systems.

Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004

Reduced complexity MIMO-OFDM channel estimation based on parametric channel model.

Proceedings of the 60th IEEE Vehicular Technology Conference, 2004

SOVA equalization for multi-code CDMA system with low spreading factor.

Proceedings of the IEEE 15th International Symposium on Personal, 2004

Turbo detection and decoding for single-carrier block transmission systems.

Proceedings of the IEEE 15th International Symposium on Personal, 2004

Space-time turbo detection and decoding for MIMO block transmission systems.

Proceedings of IEEE International Conference on Communications, 2004

Low complexity iterative receiver for multiuser STBC block transmission systems.

Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

Towards a Geometric-Object-Oriented Language.

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

Elimination Practice - Software Tools and Applications.

Imperial College Press, ISBN: 978-1-86094-438-3, 2004

2003

Channel estimation algorithms for broadband MIMO-OFDM sparse channel.

Proceedings of the IEEE 14th International Symposium on Personal, 2003

Automated Generation of Diagrams with Maple and Java.

Proceedings of the Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar], 2003

2002

GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.

Proceedings of the Automated Deduction in Geometry, 2002

2001

Elimination Methods.

Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-7091-6202-6, 2001

2000

Computing Triangular Systems and Regular Systems.

J. Symb. Comput., 2000

Reasoning about Surfaces Using Differential Zero and Ideal Decomposition.

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1999

Polynomial Systems from Certain Differential Equations.

J. Symb. Comput., 1999

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving.

Fundam. Inform., 1999

Méthodes d'élimination et applications. (Elimination methods).

, 1999

1998

Decomposing Polynomial Systems into Simple Systems.

J. Symb. Comput., 1998

Unmixed and prime decomposition of radicals of polynomial ideals.

ACM SIGSAM Bulletin, 1998

Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.

Proceedings of the Automated Deduction, 1998

Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

Decomposing Algebraic Varieties.

Proceedings of the Automated Deduction in Geometry, 1998

Clifford Term Rewriting for Geometric Reasoning in 3D.

Proceedings of the Automated Deduction in Geometry, 1998

1996

GEOTHER: A Geometry Theorem Prover.

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Geometry Machines: From AI to SMC.

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision.

Proceedings of the Automated Deduction in Geometry, 1996

1995

A Method for Proving Theorems in Differebtial Geometry and Mechanics

J. UCS, 1995

Elimination Procedures for Mechanical Theorem Proving in geometry.

Ann. Math. Artif. Intell., 1995

1994

Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications.

J. Symb. Comput., 1994

Algebraic Factoring and Geometry Proving.

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

An Elimination Method for Polynomial Systems.

J. Symb. Comput., 1993

Automatic Generation of C

^{++}Code for Neural Network Simulation.
Proceedings of the New Trends in Neural Computation, 1993

1992

Computer Aided Analysis and Derivation for Artificial Neural Systems.

IEEE Trans. Software Eng., 1992

Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases.

Computer Aided Geometric Design, 1992

A Strategy for Speeding-up the Computation of Characteristic Sets.

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

1991

Mechanical Manipulation for a Class of Differential Systems.

J. Symb. Comput., 1991

A toolkit for manipulating indefinite summations with application to neural networks.

ACM SIGSAM Bulletin, 1991

Computer Algebra and Neurodynamics.

Proceedings of the Physik und Informatik, 1991

A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks.

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

On the Parallelization of Characteristic-Set-Based Algorithms.

Proceedings of the Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30, 1991

1989

On Wu's Method for Proving Constructive Geometric Theorems.

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989