Symbolic solution for computational quantum many-body theory development