The Gröbner Cover (eBook)
XIV, 276 Seiten
Springer International Publishing (Verlag)
978-3-030-03904-2 (ISBN)
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 Geometric Theorems, Loci Computation and Envelopes.
The theoretical part is a self-contained exposition on the theory of Parametric Gröbner Systems and Bases. It begins with Weispfenning's introduction of Comprehensive Gröbner Systems (CGS) in 1992, and provides a complete description of the Gröbner Cover (GC), which includes a canonical discussion of a set of parametric polynomial equations developed by Michael Wibmer and the author.
In turn, the application part selects three problems for which the Gröbner Cover offers valuable new perspectives. The automatic deduction of geometric theorems (ADGT) becomes fully automatic and straightforward using GC, representing a major improvement on all previous methods. In terms of loci and envelope computation, GC makes it possible to introduce a taxonomy of the components and automatically compute it. The book also generalizes the definition of the envelope of a family of hypersurfaces, and provides algorithms for its computation, as well as for discussing how to determine the real envelope. All the algorithms described here have also been included in the software library 'grobcov.lib' implemented in Singular by the author, and serve as a User Manual for it.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
| Erscheint lt. Verlag | 1.3.2019 |
|---|---|
| Reihe/Serie | Algorithms and Computation in Mathematics | Algorithms and Computation in Mathematics |
| Zusatzinfo | XIV, 276 p. 53 illus., 51 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik |
| Schlagworte | canonical algorithms • comprehensive gröbner systems • constructible sets • grobcov.lib library • Gröbner Cover • Locally closed sets • parameters • parametric discussion • Parametric Systems • singular library |
| ISBN-10 | 3-030-03904-8 / 3030039048 |
| ISBN-13 | 978-3-030-03904-2 / 9783030039042 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 6,3 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
