×

A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. (English) Zbl 1356.13040

Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 326-331 (2006).

MSC:

13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
68W30 Symbolic computation and algebraic computation
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Becker, T. (1994). On gröbner bases under specialization. Applicable Algebra in Engineering, Communication and Computing, 5, 1-8. · Zbl 0797.13015
[2] Becker, T. and Weispfenning, V. (1993). Gröbner Bases-A Computational Approach to Commutative Algebra-, Springer-Verlag. · Zbl 0772.13010
[3] Dolzmann, A. and Sturm, T. (1997). Redlog: Computer algebra meets computer logic, ACM SIGSAM Bulletin, 31, 2, 2-9. 10.1145/261320.261324
[4] Kalkbrener, K. (1997). On the stability of gröbner bases under specialization, J. Symb. Comp. 24, 1, 51-58. 10.1006/jsco.1997.0113 · Zbl 1054.13502
[5] Montes, A. (2002). A new algorithm for discussing Gröbner basis with parameters, J. Symb. Comp. 33, 1-2, 183-208. 10.1006/jsco.2001.0504 · Zbl 1068.13016
[6] Manubens, M. and Montes, A. (2005). Improving DISPGB Algorithm Using the Discriminant Ideal, J. Symb. Comp., A3L 2005 special issue, to appear.
[7] Noro, M. and Takeshima, T. (1992). Risa/Asir - A Computer Algebra System. International Symposium on Symbolic and Algebraic Computation (ISSAC 92), Proceedings, 387-396. 10.1145/143242.143362 · Zbl 0964.68597
[8] Suzuki, A. and Sato, Y. (2002). An Alternative approach to Comprehensive Gröbner Bases. International Symposium on Symbolic and Algebraic Computation (ISSAC 2002), Proceedings, 255-261. 10.1145/780506.780539 · Zbl 1072.68699
[9] Suzuki, A. and Sato, Y. (2003). An Alternative approach to Comprehensive Gröbner Bases. J. Symb. Comp. 36/3-4, 649-667. 10.1016/S0747-7171(03)00098-1 · Zbl 1053.13013
[10] Weispfenning, V. (1992). Comprehensive Gröbner bases, J. Symb. Comp. 14/1, 1-29. 10.1016/0747-7171(92)90023-W · Zbl 0784.13013
[11] Weispfenning, V. (2003). Canonical Comprehensive Gröbner bases, J. Symb. Comp. 36, 669-683. 10.1016/S0747-7171(03)00099-3 · Zbl 1054.13015
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.