Symbolic Computation of DeWitt-Seeley-Gilkey Coefficients on Curved Manifolds

An algorithm based on covariant (intrinsic) pseudodifferential calculus for computing DeWitt-Seeley-Gilkey coefficients of elliptic operators on compact curved manifold with torsion is considered. To implement this algorithm a program package for algebraic and tensor manipulations has been written in C language. Some computer results are presented.