Formal kinematic analysis of a general 6R manipulator using the screw theory

DOI10.1155/2015/549797zbMath1394.70010OpenAlexW1830149916WikidataQ59119290 ScholiaQ59119290MaRDI QIDQ1665987

Aixuan Wu, Hongxing Wei, Yong Guan, Zhiping Shi, Jie Zhang, Yong-Dong Li, Min-Hua Wu

Publication date: 27 August 2018

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2015/549797

Mathematics Subject Classification ID

Kinematics of mechanisms and robots (70B15)

Related Items (1)

Formal analysis of the kinematic Jacobian in screw theory

Uses Software

• HOL

Cites Work

• The HOL Light theory of Euclidean space
• Formalization of function matrix theory in HOL
• Formalization of linear space theory in the higher-order logic proving system
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal kinematic analysis of a general 6R manipulator using the screw theory