<電子ブック>
The Gröbner Cover / by Antonio Montes
(Algorithms and Computation in Mathematics ; 27)
版 | 1st ed. 2018. |
---|---|
出版者 | (Cham : Springer International Publishing : Imprint: Springer) |
出版年 | 2018 |
大きさ | XIV, 276 p. 53 illus., 51 illus. in color : online resource |
著者標目 | *Montes, Antonio author SpringerLink (Online service) |
件 名 | LCSH:Commutative algebra LCSH:Commutative rings LCSH:Algebraic fields LCSH:Polynomials LCSH:Computer science—Mathematics FREE:Commutative Rings and Algebras FREE:Field Theory and Polynomials FREE:Symbolic and Algebraic Manipulation |
一般注記 | 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 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 HTTP:URL=https://doi.org/10.1007/978-3-030-03904-2 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783030039042 |
|
電子リソース |
|
EB00198558 |
類似資料
この資料の利用統計
このページへのアクセス回数:1回
※2017年9月4日以降