A symbolic approach to polyhedral scene analysis by parametric calotte propagation

Polyhedral scene analysis studies whether a 2D line drawing of a 3D polyhedron is realizable in space, and if so, it gives the results of parameterizing the space of all possible realizations. For generic 2D data, symbolic computation with Grassmann–Cayley algebra is needed in the analysis. In this paper, we propose a method called parametric calotte propagation to solve the realization and parameterization problems for general polyhedral scenes at the same time. In algebraic manipulation, parametric propagation is more efficient than elimination. In applications, it can lead to linear construction sequences for nonspherical polyhedra whose resolvable sequences do not exist.