PnP问题是计算机视觉界的重要问题，数学机械化证明是数学领域的重要方法。数学机械化方法已经应用到许多工程问题研究领域，例如：密码学研究、高档数控系统问题研究研究等。基于数学机械化证明方法在PnP问题研究中有着非常重要的应用。PnP问题研究包括P3P问题、P4P问题和P5P问题，本项目拟从以下几个方面对这些问题展开研究：1）P3P问题解数的充要条件只是给出了它的代数表达式，本项目从几何角度给这个代数分类给出合理解释，以及代数和几何之间的联系、P3P问题具有4个解的几何条件、唯一解分布等具体问题的探索；2）P4P问题仅有具有5个解的几何构型已经给出，那么能否给出对于2、3、4个解的情况的仅有几何构型；3）系统地对P4P问题的求解算法的误差估计和鲁棒性问题展开研究。