The Gröbner Cover

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Montes, Antonio (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:1st ed. 2018.
Σειρά:Algorithms and Computation in Mathematics, 27
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.