Reasoning about three dimensional space
Deepak Kapur, Joseph L. Mundy, David R. Musser, P. Narendran · 2005
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.