摄像机位置估计、三维重建、物体识别是计算机视觉研究的重要方向。基于透视n点的摄像机位置估计计算在这三个方面以及实际工程中都有着广泛的应用。我们主要研究摄像机位置估计的数学机械化理论与算法。就目前而言，对这方面的研究不多，缺乏系统的理论和有效的算法。本项目将：1）建立基于数学机械化的摄像机位置估计理论，在此基础上，设计高效简单的符号数值计算算法。2）研究摄像机位置估计的多解条件，几何解构型等。