A symbolic geometric formulation of branched articulated multibody systems based on graphs and lie groups.