Calculation of polyhedra.
The author shows that there exists an algorithm for polyhedra in general position that establishes the finiteness of the set of possible values for dihedral angles between the facets of the polyhedron and calculates those values. Thus this algorithm can verify whether a given polyhedral metric can be isometrically implemented.
scientific article; zbMATH DE number 2074781