  We describe three algorithms for computer-aided symbolic multi-loop
calculations that facilitated some recent novel results. First, we discuss an
algorithm to derive the canonical form of an arbitrary Feynman integral in
order to facilitate their identification. Second, we present a practical
solution to the problem of multi-loop analytical tensor reduction. Finally, we
discuss the partial fractioning of polynomials with external linear relations
between the variables. All algorithms have been tested and used in real
calculations.
