# Application of geometric symbol calculus to computing heat invariants

## TL;DR

This paper discusses how geometric symbol calculus of pseudodifferential operators can be used to automate the computation of heat invariants, facilitating more efficient mathematical analysis.

## Contribution

It introduces a method leveraging geometric symbol calculus to compute heat invariants, advancing computational techniques in differential geometry.

## Key findings

- Demonstrates the feasibility of computerizing heat invariant calculations.
- Provides a framework for applying pseudodifferential operator calculus.
- Potential for automating complex geometric computations.

## Abstract

The problem of evaluating heat invariants can be computerized. Geometric symbol calculus of pseudodifferential operators is the main tool of such computerization.