Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Dongming Wang | lit.salon

Author

Dongming Wang

19 works

1991–2020 across 18 dated works

No biography is available yet.

Start with

Shandong ren min zhi yuan jie fang zhan sheng shi1991
Song Yuan Ming Qing bai bu xiao shuo yu ci da ci dian1992
Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)1995
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)1998

Books

19 works

Featured (18)Featured (18)All (19)All (19)

Search booksSort books

Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)1995
5 editions
shelves
0
reviews
0
lists
0
quotes
0
Differential equations with symbolic computations2005
With Zhiming Zheng
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Mathematics Mechanization and Applications2000
With Xiao-Shan Gao
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Symbolic-Numeric Computation (Trends in Mathematics)2007
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)2001
With Jürgen Richter-Gebert
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Geometric computation2004
With Falai Chen
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Differential Equations with Symbolic Computation (Trends in Mathematics)2005
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Elimination practice: software tools and applications2004
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science)2006
With Hoon Hong, Stefano Spaccapietra
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Elimination Methods2001
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)1998
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Kai guo ling xiu Mao Zedong yu Shandong2009
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Distributed MIMO and Cell-Free Mobile Communication2020
With Xiaohu You, Jiangzhou Wang
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Gröbner Bases in Symbolic Analysis2007
With Markus Rosenkranz
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Tang mo Yuan chu si bai nian2015
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Shandong ren min zhi yuan jie fang zhan sheng shi1991
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Ceng jing cang hai: dang dai wen xue de san dian tou shi2005
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Song Yuan Ming Qing bai bu xiao shuo yu ci da ci dian1992
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings2006
With Jaques Calmet, Tetsuo Ida
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Dongming Wang.

The conversation is still open.

There is no public salon activity to show for Dongming Wang yet.