( en | de | ru )

 

Disambiguation of "Wang, Dongming"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471).

, , , and . Dagstuhl Reports, 5 (11): 71-89 (2015)

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)

Hao Wang

 

Other publications of authors with the same name

Characteristic Decomposition: From Regular Sets to Normal Sets., and . J. Systems Science & Complexity, 32 (1): 37-46 (2019)The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.. Algorithmic Algebra and Logic, page 269-274. Books on Demand, (2005)GEOTHER: A Geometry Theorem Prover.. CADE, volume 1104 of Lecture Notes in Computer Science, page 166-170. Springer, (1996)Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints., , , and . SAC, page 94-101. ACM, (2012)Special Issue on Program Verification, Automated Debugging and Symbolic Computation., , and . J. Symb. Comput., (2017)Algebraic Factoring and Geometry Proving.. CADE, volume 814 of Lecture Notes in Computer Science, page 386-400. Springer, (1994)A method based on an improved immune genetic algorithm for the feature fusion of the infrared and visible images., and . J. Comput. Methods Sci. Eng., 18 (3): 591-603 (2018)GeoText: an intelligent dynamic geometry textbook., , and . ACM Commun. Comput. Algebra, 46 (3/4): 171-175 (2012)Foreword to the Special Focus on Mathematics, Data and Knowledge., , and . Math. Comput. Sci., 7 (4): 379-386 (2013)Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving., and . Fundam. Informaticae, 39 (1-2): 85-104 (1999)