Presenting LiteRed: a tool for the Loop InTEgrals REDuction
  Mathematica package LiteRed is described. It performs the heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several convenient tools for the search of the symmetry relations, construction of the differential equations and dimensional recurrence relations. 
R. N. Lee
hep-ph