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 t

Translated from the popular French edition, this book offers a detailed introduction to various basic concepts, methods, principles, and results of commutative

This is a comprehensive review of commutative algebra, from localization and primary decomposition through dimension theory, homological methods, free resolutio

The constructive approach to mathematics has enjoyed a renaissance, caused in large part by the appearance of Errett Bishop's book Foundations of constr"uctiue

This ACM volume deals with tackling problems that can be represented by data structures which are essentially matrices with polynomial entries, mediated by the