The Gröbner cover
著者
書誌事項
The Gröbner cover
(Algorithms and computation in mathematics, v. 27)
Springer, c2018
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references (p. 269-272) and index
内容説明・目次
内容説明
This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Groebner 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 Groebner Systems and Bases. It begins with Weispfenning's introduction of Comprehensive Groebner Systems (CGS) in 1992, and provides a complete description of the Groebner 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 Groebner 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 Groebner Systems and Bases.- I-regular functions on a locally closed set.- The Canonical Groebner Cover.- Part II Applications.- Automatic Deduction of Geometric Theorems.- Geometric Loci.- Geometric Envelopes.- The BUILD TREE Algorithm.-Bibliography.- Index
「Nielsen BookData」 より