Application of geometric symbol calculus to computing heat invariants
arXiv:1903.11230
Abstract
The problem of evaluating heat invariants can be computerized. Geometric symbol calculus of pseudodifferential operators is the main tool of such computerization.