Author: A. Verbovetsky
The Koszul-Tate resolution is described in the context of the geometry
of jet spaces and differential equations. The application due to
Barnich, Brandt, and Henneaux of this resolution to computing the
horizontal cohomology is analyzed. Relations with the Vinogradov
spectral sequence are discussed.
9 pages, LaTeX-2e (AmSLaTeX 2).
To compile source files (.tex) one needs the title page style files titlatex.tex.