Search our Site
OTHER AREAS:
Graphics and Image Analysis
Hardware Systems and Architectures
Software Systems
RELATED PAGES:
Faculty Research Areas Index
Research Area Descriptions
Research Laboratories
 
Mathematical and Theoretical Computing
Research
These groups conduct a variety of research related to
mathematical and theoretical computing. For information
on specific projects, visit the links below.

Computational Geometry Group
Group working on various computational geometryrelated problems.
Current projects include: Geometric Basis for Visualizing
TimeVarying Volume Data, Geometry for Molecular Biology, Pseudo
Triangulations, Gzstream Library, GIS. (Snoeyink, et al.)




Geometric Algorithms for Modeling, Motion, and
Animation Group (GAMMA)
Design and implementation of algebraic, geometric, and numeric
algorithms and their applications to solid modeling, computer
graphics, robotics, virtual environments, manufacturing and
physically based modeling. Current areas include:
Animation, Collision Detection, Haptics, Motion Planning,
Solid Modeling, etc. (Lin, Manocha)




Mechanized Inference Group
Group working on the development of theorem provers.
(Plaisted)




Monte Carlo Techniques
Investigation of how the Monte Carlo method can be
used to solve very large mathematical problems. (Halton)

