Symbolic analysis of Feynman diagrams by computer