Formalization of the inverse kinematics of three-fingered dexterous hand
From MaRDI portal
Publication:6156933
DOI10.1016/j.jlamp.2023.100861zbMath1520.70003MaRDI QIDQ6156933
Jingzhi Zhang, Zhiping Shi, Guo-hui Wang, Yong Guan, Shanyan Chen, Ximeng Li
Publication date: 19 June 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
formal verificationscrew theorycyber-physical systemmathematical theorem prooferPaden-Kahan subproblemthree-fingered hand
Cites Work
- Unnamed Item
- Investigation on Kane dynamic equations based on screw theory for open-chain manipulators
- Edinburgh LCF. A mechanized logic of computation
- The HOL Light theory of Euclidean space
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
- HOL Light: An Overview
This page was built for publication: Formalization of the inverse kinematics of three-fingered dexterous hand