What A Mesh: Dependent Data Types for Correct Mesh Manipulation Algorithms

M.S. Dissertation, Washington University in St. Louis

Publication date: February 1, 2005

Joel Brandt