Wang, Dongming.

Overview

Works:	2 works in 2 publications in 1 languages

Titles

Automated deduction in geometrySecond International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / by: (1998 :); Gao, Xiao-Shan.; SpringerLink (Online service); Wang, Dongming.; Yang, Lu. (Electronic resources)

Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers by: (1998 :); Hong, Hoon.; SpringerLink (Online service); Wang, Dongming. (Electronic resources)

Differential Equations with Symbolic Computation / by: Wang, Dongming.; Zheng, Zhiming. (Electronic resources)

Automated deduction in geometryInternational Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / by: (1998 :); SpringerLink (Online service); Wang, Dongming. (Electronic resources)

Automated deduction in geometrythird international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / by: (1998 :); Richter-Gebert, Jurgen.; SpringerLink (Online service); Wang, Dongming. (Electronic resources)

Distributed MIMO and cell-free mobile communication by: SpringerLink (Online service); Wang, Dongming.; Wang, Jiangzhou.; You, Xiaohu. (Electronic resources)

Artificial intelligence and symbolic computation13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018 : proceedings / by: (1998 :); Calmet, Jacques.; Fleuriot, Jacques.; SpringerLink (Online service); Wang, Dongming. (Electronic resources)

Subjects