{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6156933","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6156933","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6156933","kernelVersion":"v1","immutable":true,"modified":"2026-01-02T22:07:18Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6156933","name":"Formalization of the inverse kinematics of three-fingered dexterous hand","headline":"Formalization of the inverse kinematics of three-fingered dexterous hand","description":"scientific article; zbMATH DE number 7697491","url":"https://portal.mardi4nfdi.de/entity/Q6156933","datePublished":"2023-06-19","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1956042"},{"@id":"https://portal.mardi4nfdi.de/entity/Q826354"},{"@id":"https://portal.mardi4nfdi.de/entity/Q258539"},{"@id":"https://portal.mardi4nfdi.de/entity/Q826357"},{"@id":"https://portal.mardi4nfdi.de/entity/Q826355"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2031405"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q246441"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.JLAMP.2023.100861","url":"https://doi.org/10.1016/J.JLAMP.2023.100861"},"sameAs":["https://doi.org/10.1016/J.JLAMP.2023.100861"],"comment":"In this publication the inverse kinematics of a specific three-fingered dexterous hand is solved using the mathematical theorem proofer HOL light. Some basic definitions are followed by the solutions of a few Paden-Kahan subproblems using screw theory. Finally, the inverse kinematics of the index finger and the thumb is solved as an example by using the forward kinematics in matrix form and applying inverse trigonometric functions and the primarily solved subproblems.  Within the article the authors show HOL code lines together with theoretical descriptions of the problem and the solutions.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q939901"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4325915"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2198134"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1945903"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1801222"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3183517"}]},"provenance":{"prov:generatedAtTime":"2026-01-02T22:07:18Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}