Manipulating expressions in many-body perturbation theory becomes unwieldily
with increasing order of the perturbation theory. Here I derive a set of
theorems for efficient simplification of such expressions. The derived rules
are specifically designed for implementing with symbolic algebra tools. As an
illustration, we count the numbers of Brueckner-Goldstone diagrams in the first
several orders of many-body perturbation theory for matrix elements between two
states of a mono-valent system.Comment: J. Phys. B. (in press); Mathematica packages available from
http://wolfweb.unr.edu/homepage/andrei/WWW-tap/mathematica.htm
