Pages that link to "Item:Q2294128"
From MaRDI portal
The following pages link to Formalization of function matrix theory in HOL (Q2294128):
Displayed 4 items.
- Formal analysis of the kinematic Jacobian in screw theory (Q1624599) (← links)
- Formal kinematic analysis of a general 6R manipulator using the screw theory (Q1665987) (← links)
- The formalization of discrete Fourier transform in HOL (Q1666338) (← links)
- Formalization of functional variation in HOL Light (Q2423767) (← links)