Abstract
It is assumed that the reader is familiar with ordinary Gröbner Basis theory (GB). As GB is the support of the Gröbner Cover (GC), in Sects. 1.1, 1.2 and 1.3 we introduce some notations and recall central elements of the theory without proofs. This introduction should not be considered as a description of ordinary GB theory, for which we refer to the excellent books of Cox, Little, O’Shea (1992 1st ed, 2007 3rd ed) [25], Becker-Weispfenning [6], Adams-Loustaunau [2] and Eisenbud (1994 1st ed, 1998 3rd ed) [30]. For further relevant studies we refer to the books of Cox, Little, O’Shea [26] and Mora [64, 65].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
W. W. Adams, P. Loustaunau, An Introduction to Gröbner Bases, vol. 3, 1st ed., American Mathematical Society, 1994.
M. R. Adhikari, A. Adhikari, Basic Modern Algebra with Applications, Springer, New Delhi, 2014.
P. Aubry, D. Lazard, M. Moreno-Maza, On the theories of triangular sets, Journal of Symbolic Computation 28 (1999) 105–124.
T. Becker, V. Weispfenning, Gröbner Bases: A Computational Approach to Commutative Algebra, 1st ed., Springer-Verlag, Berlin, 1993.
B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal, Ph.D. Dissertation, University of Innsbruck, 1965.
B. Buchberger, An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal, translation of Ph.D. Thesis, Journal of Symbolic Computation 41 (2006) 471–511.
C. Chen, J. H. Davenport, M. Moreno-Maza, B. Xia, R. Xiao, Computing with semi-algebraic sets represented by triangular decomposition, in: A. Leykin (ed.), Proceedings of ISSAC’2011, ACM Press, New York, 2011, pp. 75–82.
C. Chen, F. Lemaire, L. Li, M. M. Maza, W. Pan, Y. Xie, The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple, in: Proceedings of ICCSA’2008, IEEE Computer Society, 2008, pp. 342–352.
C. Chen, M. Moreno-Maza, Algorithms for computing triangular decomposition of polynomial systems, Journal of Symbolic Computation 47 (6) (2012) 610–642.
C. Chen, M. Moreno-Maza, Solving parametric polynomial systems by RealComprehensiveTriangularize, in: Mathematical Software-ICMS 2014, Springer, 2014, p. 1st Chapter.
D. Cox, J. Little, D. O’Shea, Ideals, Varieties and Algorithms, 3rd ed., Springer, New-York, 1992.
D. Cox, J. Little, D. O’Shea, Using Algebraic Geometry, Springer, New-York, 1998.
D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, corrected 3rd printing (1999) ed., Springer, New York, 1994.
P. Gianni, B. Trager, G. Zacharias, Gröbner bases and primary decomposition of polynomial ideals, Journal of Symbolic Computation 6 (1988) 149–167.
D. Lazard, F. Rouillier, Solving parametric polynomial systems, Journal of Symbolic Computation 42 (2007) 636–667.
A. Montes, H. Schönemann, Singular “grobcov.lib” library D.2.4, http://www.singular.uni-kl.de, Computer Algebra System for polynomial computations. Center for Computer Algebra, University of Kaiserslautern, free software under the GNU General Public Licence (2017).
A. Montes, M. Wibmer, Gröbner bases for polynomial systems with parameters, Journal of Symbolic Computation 45 (2010) 1391–1425.
T. Mora, Solving Polynomial Equation Systems I: The Kronecker-Duval Philosophy, vol. 88 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, 2003.
T. Mora, Solving Polynomial Equation Systems II: Macaulay’s Paradigm and Gröbner Technology, Encyclopedia of Mathematics and its Applications, Cambridge University Press, 2005.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Montes, A. (2018). Preliminaries. In: The Gröbner Cover . Algorithms and Computation in Mathematics, vol 27. Springer, Cham. https://doi.org/10.1007/978-3-030-03904-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-03904-2_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03903-5
Online ISBN: 978-3-030-03904-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)