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...
Κύριος συγγραφέας: | |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.