Proposes a new application of Wu's (1978) mechanical theoremproving method for recognition of polyhedra in 3D space from theprojection image. First, the authors set up a number of equations whichexpress the vertices on plane segments, line segments, angles in 3Dspace and those on the image plane, and also the relations between thevertices in 3D space and those on the image plane. Next, they classifyall the equations into two parts, a set of hypotheses and a conjecture.Then they obtain a pseudodivided remainder of the conjecture by Wu'smethod, which represents a relation of angles or a relation of lengthsbetween the 3D space and its projected image. Also they show that by astability analysis the remainder can be defined even in the case thatvertices on the image plane are in unstable areas of hypotheses whosedenumerators approach to zero, so that it cannot be defined by directmanipulations of the hypotheses and conjecture polynomials
展开▼