- Polynomial algebra, invariant and
coordinate-free methods, probabilistic, synthetic, and logic
approaches, techniques for automated geometric reasoning from discrete
mathematics, combinatorics, and numerics.
- Symbolic and numeric methods for geometric
computation, geometric constraint solving, automated
generation/reasoning and manipulation with diagrams.
- Design and implementation of geometry software,
special-purpose tools, automated theorem provers, experimental studies.
- Applications of ADG to mechanics, geometric
modeling, CAGD/CAD, computer vision, robotics and education.
|