Dongming Wang
8 published titles
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
(Contributor)
1 edition
- ISBN: 3540642978
- Springer
- 1997
- Details
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540666729
- Springer
- 1999
- Details
Mathematics mechanization and applications
(Contributor)
1 edition
- ISBN: 0127347607
- Academic
- 2000
- Details
Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
(Contributor)
1 edition
- ISBN: 3540425985
- Springer
- 2001
- Details
Elimination practice : software tools and applications
1 edition
- ISBN: 1860944388
- Imperial College Press
- 2004
- Details
Geometric computation
(Contributor)
1 edition
- ISBN: 9812387994
- World Scientific
- 2004
- Details
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 ; revised papers
(Contributor)
1 edition
- ISBN: 354031332X
- Springer
- 2006
- Details
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 ; proceedings
(Contributor)
1 edition
- ISBN: 9783540397281
- Springer
- 2006
- Details
