國立虎尾科技大學 |

The Gröbner Cover

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The Gröbner Cover / by Antonio Montes.
作者:	Montes, Antonio.
面頁冊數:	XIV, 276 p. 53 illus., 51 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Commutative algebra. -
電子資源:	https://doi.org/10.1007/978-3-030-03904-2
ISBN:	9783030039042

The Gröbner Cover
Montes, Antonio.

The Gröbner Cover [electronic resource] /by Antonio Montes. - 1st ed. 2018. - XIV, 276 p. 53 illus., 51 illus. in color.online resource. - Algorithms and Computation in Mathematics,271431-1550 ;. - Algorithms and Computation in Mathematics,27.

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.

ISBN: 9783030039042

Standard No.: 10.1007/978-3-030-03904-2doiSubjects--Topical Terms:

672047
Commutative algebra.

LC Class. No.: QA251.3

Dewey Class. No.: 512.44

The Gröbner Cover
LDR:03220nam a22003975i 4500 001 989594
003 DE-He213
005 20200705224343.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783030039042 $9 978-3-030-03904-2
024 7 $a 10.1007/978-3-030-03904-2 $2 doi
035 $a 978-3-030-03904-2
050 4 $a QA251.3
072 7 $a PBF $2 bicssc
072 7 $a MAT002010 $2 bisacsh
072 7 $a PBF $2 thema
082 0 4 $a 512.44 $2 23
100 1 $a Montes, Antonio. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1281445
245 1 4 $a The Gröbner Cover $h [electronic resource] / $c by Antonio Montes.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XIV, 276 p. 53 illus., 51 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Algorithms and Computation in Mathematics, $x 1431-1550 ; $v 27
505 0 $a 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.
520 $a 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.
650 0 $a Commutative algebra. $3 672047
650 0 $a Commutative rings. $3 672474
650 0 $a Algebra. $2 gtt $3 579870
650 0 $a Field theory (Physics). $3 685987
650 0 $a Computer science—Mathematics. $3 1253519
650 1 4 $a Commutative Rings and Algebras. $3 672054
650 2 4 $a Field Theory and Polynomials. $3 672025
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030039035
776 0 8 $i Printed edition: $z 9783030039059
830 0 $a Algorithms and Computation in Mathematics, $x 1431-1550 ; $v 27 $3 1281446
856 4 0 $u https://doi.org/10.1007/978-3-030-03904-2
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)