本公开实施例公开了一种三指机器人灵巧手逆运动学的形式化验证方法及电子设备,所述方法包括：形式化描述旋量理论的内容；将形式化描述的旋量理论的内容输入至定理证明器中进行证明,获得定理1、定理2和定理3；形式化描述Paden-Kahan子问题1、子问题2和子问题3；将形式化描述的子问题1、子问题2和子问题3输入至所述定理证明器中进行证明,获得定理4、定理5和定理6；其中,所述定理4、定理5和定理6分别为子问题1、子问题2和子问题3的解；利用形式化描述的所述定理1、定理2、定理3、定理4、定理5、定理6、子问题1、子问题2和子问题3验证所述三指机器人灵巧手的运动学求解问题。
