The Gröbner Cover

• Main Author: Montes, Antonio (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Algorithms and Computation in Mathematics, 27
• Subjects: Commutative algebra.; Commutative rings.; Algebra.; Field theory (Physics).; Computer science-Mathematics.; Commutative Rings and Algebras.; Field Theory and Polynomials.; Symbolic and Algebraic Manipulation.

This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Gröbner Cover, the most accurate algebraic method for discussing parametric polynomial systems. It also includes applications to the Automatic Deduction of Geome...

Table of Contents:

• FM
• Preliminaries
• Part I Theory
• Constructible sets
• Comprehensive Gröbner Systems and Bases
• I-regular functions on a locally closed set
• The Canonical Gröbner Cover
• Part II Applications
• Automatic Deduction of Geometric Theorems
• Geometric Loci
• Geometric Envelopes
• The BUILD TREE Algorithm.-Bibliography
• Index.