The main topic of this book is that of Groebner bases and their applications. The main purpose of this book is that of bridging the current gap in the literature between theory and real computation. The book can be used by teachers and students alike as a comprehensive guide to both the theory and t
Computational Commutative Algebra 1 (CoCoA)
β Scribed by Kreuzer, Robbiano.
- Book ID
- 127421558
- Publisher
- Springer
- Year
- 2000
- Tongue
- English
- Weight
- 2 MB
- Category
- Library
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Bridges the current gap in the literature between theory and real computation of Groebner bases and their applications. A comprehensive guide to both the theory and practice of computational commutative algebra, ideal for use as a textbook for graduate or undergraduate students. Contains tutorials o
This book is the natural continuation of Computational Commutative Algebra 1 with some twists. The main part of this book is a breathtaking passeggiata through the computational domains of graded rings and modules and their Hilbert functions. Besides GrΓΆbner bases, we encounter Hilbert bases, border
This book is the natural continuation of **Computational Commutative Algebra 1 with some twists.** The main part of this book is a breathtaking *passeggiata* through the computational domains of graded rings and modules and their Hilbert functions. Besides Gr?bner bases, we encounter Hilbert bases,
We give a self-contained exposition of Mayr & Meyer's example of a polynomial ideal exhibiting double exponential degrees for the ideal membership problem, and generalise this example to exhibit minimal syzygies of double exponential degree. This demonstrates the existence of subschemes of projectiv
Packed with contributions from international experts, Commutative Algebra: Geometric, Homological, Combinatorial, and Computational Aspects features new research results that borrow methods from neighboring fields such as combinatorics, homological algebra, polyhedral geometry, symbolic computation,