Formalizing screw theory with 3D geometric algebra

This paper is intended for students and researchers looking for more insight into Screw Theory. It shows how algebraic considerations lead to both physical and geometrical understanding of screws, and how they can connect affine geometry (what the world is) to linear algebra (what we can easily compute). Various formulations of the theory are first reviewed, as each of them highlights a particular aspect of screws. Their respective qualities and defects are also discussed. Subsequently, the powerful framework of Geometric Algebra (GA) is introduced to elucidate the nature of various physical objects commonly associated with screws, and eventually a new formalism based on GA is proposed, in which traditional screws clearly appear as a special case of more general affine objects. This approach generalizes the concept of a screw in a coordinate-free and origin-independent form. A simultaneous proof of Euler's First and Second Laws is provided to illustrate the use of this formalism.