This is an old revision of the document!
| Summary |
| This work is joint with Prof. Sitharam at the University of Florida. The major focus of the work is to advance the state of the art in geometric constraint solving, especially spatial constraint solving. Key results of the work include an efficient general purpose decomposition algorithm for large-scale constraint problems, and many new techniques for solving nonlinear algebraic equation systems that arise in the decomposition. The work also includes the development of a 3D sketcher that can render 3D structures with sufficient clarity to convey an understanding of spatial structures such as points and lines, but without resorting to graphics. |
