( en | de | ru )

 

Disambiguation of "Wang, Dongming"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Geometric-Object-Oriented Language

, and . Automated Deduction in Geometry, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dongming Peng

Dongming He

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Chuanchao Wang

 

Other publications of authors with the same name

On Wu's Method for Proving Constructive Geometric Theorems.. IJCAI, page 419-424. Morgan Kaufmann, (1989)Stability analysis of biological systems with real solution classification., and . ISSAC, page 354-361. ACM, (2005)Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules., and . CADE, volume 1421 of Lecture Notes in Computer Science, page 17-31. Springer, (1998)Computer Algebra and Neurodynamics., and . Physik und Informatik, volume 306 of Informatik-Fachberichte, page 304-317. Springer, (1991)Clifford Term Rewriting for Geometric Reasoning in 3D., , and . Automated Deduction in Geometry, volume 1669 of Lecture Notes in Computer Science, page 130-155. Springer, (1998)Reasoning about Surfaces Using Differential Zero and Ideal Decomposition., and . Automated Deduction in Geometry, volume 2061 of Lecture Notes in Computer Science, page 154-174. Springer, (2000)A Strategy for Speeding-up the Computation of Characteristic Sets.. MFCS, volume 629 of Lecture Notes in Computer Science, page 504-510. Springer, (1992)Solving Dynamic Geometric Constraints Involving Inequalities., , , and . AISC, volume 4120 of Lecture Notes in Computer Science, page 181-195. Springer, (2006)Terahertz Ultra-Massive MIMO-Based Aeronautical Communications in Space-Air-Ground Integrated Networks., , , , , , and . IEEE J. Sel. Areas Commun., 39 (6): 1741-1767 (2021)Editorial., and . Math. Comput. Sci., 1 (1): 1-2 (2007)