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