Nabeshima, Katsusuke Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system. (English) Zbl 07790975 Appl. Algebra Eng. Commun. Comput. 35, No. 1, 55-70 (2024). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 12D10 PDFBibTeX XMLCite \textit{K. Nabeshima}, Appl. Algebra Eng. Commun. Comput. 35, No. 1, 55--70 (2024; Zbl 07790975) Full Text: DOI OA License
Lu, Dong; Sun, Yao; Wang, Dingkang A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases. (English) Zbl 1417.68295 J. Syst. Sci. Complex. 32, No. 1, 234-255 (2019). MSC: 68W30 13P10 68-02 PDFBibTeX XMLCite \textit{D. Lu} et al., J. Syst. Sci. Complex. 32, No. 1, 234--255 (2019; Zbl 1417.68295) Full Text: DOI
Zhou, Jie; Wang, Dingkang; Sun, Yao Automated reducible geometric theorem proving and discovery by Gröbner basis method. (English) Zbl 1425.68383 J. Autom. Reasoning 59, No. 3, 331-344 (2017). MSC: 68T15 03B35 13P10 51M04 PDFBibTeX XMLCite \textit{J. Zhou} et al., J. Autom. Reasoning 59, No. 3, 331--344 (2017; Zbl 1425.68383) Full Text: DOI
Kapur, Deepak Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm. (English) Zbl 1376.13012 J. Syst. Sci. Complex. 30, No. 1, 196-233 (2017). MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{D. Kapur}, J. Syst. Sci. Complex. 30, No. 1, 196--233 (2017; Zbl 1376.13012) Full Text: DOI
Kapur, Deepak; Sun, Yao; Wang, Dingkang An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system. (English) Zbl 1255.13018 J. Symb. Comput. 49, 27-44 (2013). MSC: 13P10 13-04 PDFBibTeX XMLCite \textit{D. Kapur} et al., J. Symb. Comput. 49, 27--44 (2013; Zbl 1255.13018) Full Text: DOI