Dongming Wang
Dongming Wang
9 books in the database
Books
Elimination MethodsDongming Wang
Elimination Methods
Dongming Wang · 2001
Mathematics Mechanization and ApplicationsDongming Wang
Mathematics Mechanization and Applications
Dongming Wang · 2000
Symbolic-numeric computationDongming Wang
Symbolic-numeric computation
Dongming Wang · 2007
Differential Equations with Symbolic Computation (Trends in Mathematics)Dongming Wang
Differential Equations with Symbolic Computation (Trends in Mathematics)
Dongming Wang · 2005
Differential equations with symbolic computationDongming Wang
Differential equations with symbolic computation
Dongming Wang · 2005
Automated Deduction in GeometryDongming Wang
Automated Deduction in Geometry
Dongming Wang · 1998
Automated practical reasoningDongming Wang
Automated practical reasoning
Dongming Wang · 1995
Kai guo ling xiu Mao Zedong yu ShandongDongming Wang
Kai guo ling xiu Mao Zedong yu Shandong
Dongming Wang · 2009
Tang mo Yuan chu si bai nianDongming Wang
Tang mo Yuan chu si bai nian
Dongming Wang · 2015
Co-authored books and collections
Books that list Dongming Wang among their authors but not as the lead author: co-written works, collections and compilations.
Automated deduction in geometryJürgen Richter-Gebert
Automated deduction in geometry
Jürgen Richter-Gebert · 2001
Automated deduction in geometryHoon Hong
Automated deduction in geometry
Hoon Hong · 2006
Geometric computationFalai Chen
Geometric computation
Falai Chen · 2004
Distributed MIMO and Cell-Free Mobile CommunicationXiaohu You
Distributed MIMO and Cell-Free Mobile Communication
Xiaohu You · 2020
Gröbner Bases in Symbolic AnalysisMarkus Rosenkranz
Gröbner Bases in Symbolic Analysis
Markus Rosenkranz · 2011
Artificial Intelligence and Symbolic ComputationJaques Calmet
Artificial Intelligence and Symbolic Computation
Jaques Calmet · 2006