Multiphonon theory: Generalized Wick's theorem and recursion formulas

Abstract
Overlaps and matrix elements of one- and two-body operators are calculated in a space spanned by multiphonons of different types taking the Pauli principle properly into account. Two methods are developed: a generalized Wick's theorem dealing with new contractions and recursion formulas well suited for numerical applications.