"The purpose of this book is twofold: to find the computational content hidden in abstract proofs of concrete theorems in commutative algebra, and to give general algorithms for solving theorems of abstract algebra. ... The book is based on lectures on constructive algebra that the author previously gave on two different occasions. Each chapter is self-contained. All the proofs are constructive and many illustrative examples are included." (Haohao Wang, Mathematical Reviews, August, 2016)

• Projective modules over polynomial rings.- Dynamical Gr¨obner bases.- Syzygies in polynomial rings over valuation domains.- Exercises.- Detailed solutions to the exercises.

"The purpose of this book is twofold: to find the computational content hidden in abstract proofs of concrete theorems in commutative algebra, and to give general algorithms for solving theorems of abstract algebra. ... The book is based on lectures on constructive algebra that the author previously gave on two different occasions. Each chapter is self-contained. All the proofs are constructive and many illustrative examples are included." (Haohao Wang, Mathematical Reviews, August, 2016)

• Projective modules over polynomial rings.- Dynamical Gr¨obner bases.- Syzygies in polynomial rings over valuation domains.- Exercises.- Detailed solutions to the exercises.

"The purpose of this book is twofold: to find the computational content hidden in abstract proofs of concrete theorems in commutative algebra, and to give general algorithms for solving theorems of abstract algebra. ... The book is based on lectures on constructive algebra that the author previously gave on two different occasions. Each chapter is self-contained. All the proofs are constructive and many illustrative examples are included." (Haohao Wang, Mathematical Reviews, August, 2016)

• Projective modules over polynomial rings.- Dynamical Gr¨obner bases.- Syzygies in polynomial rings over valuation domains.- Exercises.- Detailed solutions to the exercises.