Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /

• Κύριος συγγραφέας: Yengui, Ihsen (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Lecture Notes in Mathematics, 2138
• Θέματα: Mathematics.; Computer science > Mathematics.; Commutative algebra.; Commutative rings.; Mathematical logic.; Commutative Rings and Algebras.; Mathematical Logic and Foundations.; Symbolic and Algebraic Manipulation.

The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials wit...