Robot kinematics :symbolic automation and numerical synthesis