Discrete Comput Geom