Homology of the Koszul complex of a system of polynomial equations
  For a system of non-homogeneous polynomials it was constructed explicit complex morphism of a dual complex to the Koszul complex into the Koszul complex. If the ideal of these polynomials is 0-dimensional, then this mapping is a homotopic equivalence, thus in this case it was obtained explicit duality of the Koszul complex. 
Timur R. Seifullin
math.AC math.AG math.KT