Symbolic computation applied to industrial robots through SAGE | Publicación