Matrix and Gröbner Methods in Homological Algebra: over Commutative Polynomial Rings