Homological and Computational Methods in Commutative Algebra