The Algorithms Group, part of the Theory of Computation (TOC) group in the Computer Science and Artificial Intelligence Laboratory (CSAIL). People and research projects.
Mathematics Mechanization Research Centre. Research areas: automated reasoning, computational algebra and geometry, geometric engineering.
Algorithms and Computational Complexity group. Members, research projects, courses.