Los puntos clave no están disponibles para este artículo en este momento.
The use of formal geometric reasoning is proposed to analyze algorithms for machine vision and robotics. This paper develops the basis for this approach and illustrates the method with several examples taken from perspective scene analysis. The application of recent developments in algebraic deduction methods is described.
Kapur et al. (Wed,) studied this question.