Dongming Wang

Identifiers

Open LibraryOL1400561A

Top Subjects

Mathematics (2)
Automatic theorem proving (2)
China -- History -- Civil War, 1945-1949 -- Campaigns (1)
Shandong Sheng (China) -- History (1)
Geometry - General (1)
Data processing (1)
Artificial intelligence (1)

Books by Dongming Wang

Total count: 16

Shandong ren min zhi yuan jie fang zhan sheng shiDi 1 ban

Shandong ren min chu ban she1991-01-01
Automated Practical Reasoning

Island Press1995-01-01
Automated Deduction in GeometryInternational Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)1 edition

Springer1998-04-24
Elimination Methods

Imprint2001-01-01
Automated Deduction in GeometrySecond International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Springer2003-01-01
Elimination practicesoftware tools and applications

Imperial College Press2004-01-01
Ceng jing cang haidang dai wen xue de san dian tou shiDi 1 ban

Jilin wen shi chu ban she2005-01-01
Differential Equations with Symbolic Computation (Trends in Mathematics)

Birkhauser2005-08-01
Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Springer London, Limited2006-01-01
Artificial Intelligence and Symbolic Computation8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Springer London, Limited2006-01-01
Symbolic-Numeric Computation

Birkhauser Verlag2007-01-01
Gröbner Bases in Symbolic Analysis

De Gruyter, Inc.2007-01-01
Kai guo ling xiu Mao Zedong yu ShandongDi 1 ban

Shandong People s Publishing House; 1 (August 1. 22009-01-01
Tang mo Yuan chu si bai nianDi 1 ban

Zhongguo wen shi chu ban she2015-01-01
Artificial Intelligence and Symbolic Computation13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Springer2018-08-22
Distributed MIMO and Cell-Free Mobile Communication

Springer Singapore Pte. Limited2020-01-01