Constructive commutative algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases (2015)