Projective push-forwards in the Witt theory of algebraic varieties

Abstract: We define push-forwards along projective morphisms in the Witt theory of smooth quasi-projective varieties over a field. We prove that they have standard properties such as functoriality, compatibility with pull-backs and projection formulas. [Copyright &y& Elsevier]