Formalization of the inverse kinematics of three-fingered dexterous hand

Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi 0002, Ximeng Li 0003, Jingzhi Zhang. Formalization of the inverse kinematics of three-fingered dexterous hand. J. Log. Algebr. Meth. Program., 133:100861, June 2023. [doi]

Abstract

Abstract is missing.