Dr. Sacks is working with Professor Hoffmann on the theory and implementation of a spatial geometric constraint solver that integrates symbolic methods from constructive geometry with numerical methods from homotopy continuation theory. Geometric constraint solvers are a key component in modern Mechanical Computer-Aided Design systems. The primary applications are assembly design, geometric tolerancing, and conceptual design. Developing an effective spatial solver calls for research in symbolic and numerical computing based upon a thorough understanding of the engineering applications. The research integrates deep algebraic results, powerful numerical algorithms, and sophisticated graphical tools for visualizing complicated geometric systems.