三角测量的基本步骤
Elementary moves on triangulations
摘要：
证明了一个多面体的三角剖分总是可以用初等变换变换成该多面体的任何其它三角剖分。一个结果是，一个只定义在单形上的加性函数（赋值）总是可以扩展到所有多面体上的加性函数。
英文摘要：
It is proved that a triangulation of a polyhedron can always be transformed into any other triangulation of the polyhedron by using only elementary moves. One consequence is that an additive function (valuation) defined only on simplices may always be extended to an additive function on all polyhedra.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
