Complete flat cone metrics on punctured surfaces

We prove that each complete flat cone metric on a surface with regular or irregular punctures can be triangulated with finitely many types of triangles. We derive the Gauss-Bonnet formula for this kind of cone metrics. In addition, we prove that each free homotopy class of paths has a geodesic representative.