Reconstruction of polyhedra by a mechanical theorem proving method

Kyun Koh, Koichiro Deguchi, Iwao Morishita

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


In this paper we propose a new application of Wu's mechanical theorem proving method to reconstruct polyhedra in 3-D space from their projection image. First we set up three groups of equations. The first group is of the geometric relations expressing that vertices are on a plane segment, on a line segment, and forming angle in 3-D space. The second is of those relations on image plane. And the rest is of the relations between the vertices in 3-D space and their correspondence on image plane. Next, we classify all the groups of equations into two sets, a set of hypotheses and a conjecture. We apply this method to seven cases of models. Then, we apply, Wu's method to prove that the hypotheses follow the conjecture and obtain pseudo-divided remainders of the conjectures, which represent relations of angles or lengths between 3-D space and their projected image. By this method we obtained new geometrical relations for seven cases of models. We also show that, in the region in image plane where corresponding spatial measures cannot reconstructed, leading coefficients of hypotheses polynomials approach to zero. If the vertex of an image angle is in such regions, we cannot calculated its spatial angle by direct manipulation of the hypothesis polynomials and the conjecture polynomial. But we show that by stability analysis of the pseudo-divided remainder the spatial angles can be calculated even in those regions.

Original languageEnglish
Pages (from-to)437-445
Number of pages9
JournalIEICE Transactions on Information and Systems
Issue number4
Publication statusPublished - 1993 Apr 1

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Information Systems
  • Software


Dive into the research topics of 'Reconstruction of polyhedra by a mechanical theorem proving method'. Together they form a unique fingerprint.

Cite this