Pages that link to "Item:Q2360828"
From MaRDI portal
The following pages link to Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm (Q2360828):
Displaying 8 items.
- Formalization of camera pose estimation algorithm based on Rodrigues formula (Q826358) (← links)
- Kinematic optimal design of a 2-DoF parallel positioning mechanism employing geometric algebra (Q1644464) (← links)
- Finite motion analysis of parallel mechanisms with parasitic motions based on conformal geometric algebra (Q1644465) (← links)
- Formalizing basic quaternionic analysis (Q1687738) (← links)
- Formalization of Euler-Lagrange equation set based on variational calculus in HOL light (Q2031406) (← links)
- Formalization of geometric algebra in HOL Light (Q2323452) (← links)
- Formalization of functional variation in HOL Light (Q2423767) (← links)
- Formalization of geometric algebra theories in higher-order logic (Q2824411) (← links)