D. Wang's Research Interests
- Computer Algebra
and Analysis
Polynomial computation, elimination and factorization, triangular set, decomposing
and solving polynomial systems, computational algebraic geometry, polynomial
ideal theory and differential algebra, qualitative theory of differential equations,
manipulation of indefinite sums and products, design and implementation of algorithms
- Geometric Reasoning (Bibliography)
Automated theorem proving and discovering in elementary and differential geometry,
Clifford algebra for geometric reasoning, combination of algebraic computing and
logical reasoning, (symbolic) geometric computation, automated diagram generation,
computer aided geometric design, geometric knowledge base and management,
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