The Gauss-Bonnet theorem for PL manifolds ?Banchoff's theorem and Homma's theorem?
The Symposium on Algebras, Languages, Computations and their Applications