The following pages link to Echelon Form (Q40272):
Displayed 4 items.
- Formal analysis of the kinematic Jacobian in screw theory (Q1624599) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- Formalization of functional variation in HOL Light (Q2423767) (← links)