The book *A Mathematical Introduction to Robotic Manipulation* talks about kinematic and dynamic modeling for manipulators based on Screw theory. It provides a Mathematica Package for Screw Calculus. I find it quite useful.