D. Wang's Research Interests

• Computer Algebra and Analysis
  Symbolic polynomial algebra, algorithmic elimination theory, triangular set, Gröbner basis, decomposing and solving polynomial systems, computational algebraic geometry, polynomial ideal theory, differential algebra, qualitative theory of differential equations, design and implementation of algorithms

• Geometric Reasoning (Bibliography)
  Automated theorem proving and discovering in geometry, Clifford algebra for geometric reasoning, combination of algebraic computing and logical reasoning, symbolic geometric computation, computer aided geometric design, automated diagram generation, geometric knowledge management and discovery, dynamic geometry document, geometry software

• Applications of Symbolic Computation
  Stability and bifurcation analysis of biological systems, flight dynamics and control systems

  In the past:

• Neural Networks
  Analysis and design of artificial neural systems, code generation for neural networks simulation