Formal analysis of the kinematic Jacobian in screw theory (Q1624599): Difference between revisions

@@ Property / author @@
-Yong-Dong Li
@@ Property / author: Yong-Dong Li / rank @@
-Normal rank
@@ Property / author @@
+Yong-Dong Li
@@ Property / author: Yong-Dong Li / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Echelon Form
@@ Property / describes a project that uses: Echelon Form / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-018-0468-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2892755039
@@ Property / OpenAlex ID: W2892755039 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Inverse Velocity and Singularity Analysis of Low-DOF Serial Manipulators
+Normal rank
@@ Property / cites work @@
+A Uniform Bound for the Jacobian of the Gravitational Force Vector for a Class of Robot Manipulators
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Jacobian analysis of lower mobility manipulators
+Normal rank
@@ Property / cites work @@
+Q4857368
@@ Property / cites work: Q4857368 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of function matrix theory in HOL
@@ Property / cites work: Formalization of function matrix theory in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Formal kinematic analysis of a general 6R manipulator using the screw theory
+Normal rank
@@ Property / cites work @@
+Formalization of linear space theory in the higher-order logic proving system
+Normal rank