Wang, Dingkang; Wang, Hesong; Wei, Jingjing; Xiao, Fanghui An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form. (English) Zbl 1502.13068 J. Symb. Comput. 115, 248-265 (2023). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 13P10 15A54 68W30 PDF BibTeX XML Cite \textit{D. Wang} et al., J. Symb. Comput. 115, 248--265 (2023; Zbl 1502.13068) Full Text: DOI
Xiao, Fanghui; Lu, Dong; Ma, Xiaodong; Wang, Dingkang An improvement of the rational representation for high-dimensional systems. (English) Zbl 1483.13048 J. Syst. Sci. Complex. 34, No. 6, 2410-2427 (2021). MSC: 13P15 68W30 PDF BibTeX XML Cite \textit{F. Xiao} et al., J. Syst. Sci. Complex. 34, No. 6, 2410--2427 (2021; Zbl 1483.13048) Full Text: DOI
Kapur, Deepak; Lu, Dong; Monagan, Michael; Sun, Yao; Wang, Dingkang Algorithms for computing greatest common divisors of parametric multivariate polynomials. (English) Zbl 1443.13023 J. Symb. Comput. 102, 3-20 (2021). MSC: 13P10 68W30 PDF BibTeX XML Cite \textit{D. Kapur} et al., J. Symb. Comput. 102, 3--20 (2021; Zbl 1443.13023) Full Text: DOI
M.-Alizadeh, Benyamin; Hashemi, Amir Deterministic normal position transformation and its applications. (English) Zbl 1456.13017 Theor. Comput. Sci. 842, 50-64 (2020). MSC: 13P10 68W30 PDF BibTeX XML Cite \textit{B. M. -Alizadeh} and \textit{A. Hashemi}, Theor. Comput. Sci. 842, 50--64 (2020; Zbl 1456.13017) Full Text: DOI
Tajima, Shinichi; Nabeshima, Katsusuke An implementation of the Lê-Teissier method for computing local Euler obstructions. (English) Zbl 1474.32048 Math. Comput. Sci. 13, No. 1-2, 273-280 (2019). MSC: 32S05 14B05 PDF BibTeX XML Cite \textit{S. Tajima} and \textit{K. Nabeshima}, Math. Comput. Sci. 13, No. 1--2, 273--280 (2019; Zbl 1474.32048) Full Text: DOI
Nabeshima, Katsusuke; Tajima, Shinichi Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems. (English) Zbl 1474.13057 Math. Comput. Sci. 13, No. 1-2, 185-194 (2019). MSC: 13P10 14H20 PDF BibTeX XML Cite \textit{K. Nabeshima} and \textit{S. Tajima}, Math. Comput. Sci. 13, No. 1--2, 185--194 (2019; Zbl 1474.13057) Full Text: DOI
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke On multivariate Hermitian quadratic forms. (English) Zbl 07095829 Math. Comput. Sci. 13, No. 1-2, 79-93 (2019). MSC: 12D99 PDF BibTeX XML Cite \textit{R. Fukasaku} et al., Math. Comput. Sci. 13, No. 1--2, 79--93 (2019; Zbl 07095829) Full Text: DOI
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 PDF BibTeX XML Cite \textit{D. Lu} et al., J. Syst. Sci. Complex. 32, No. 1, 234--255 (2019; Zbl 1417.68295) Full Text: DOI
Nabeshima, Katsusuke; Ohara, Katsuyoshi; Tajima, Shinichi Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules. (English) Zbl 1428.13047 J. Symb. Comput. 89, 146-170 (2018). Reviewer: Rolf Källström (Gävle) MSC: 13P10 13D45 13J05 14F10 32A27 32C37 PDF BibTeX XML Cite \textit{K. Nabeshima} et al., J. Symb. Comput. 89, 146--170 (2018; Zbl 1428.13047) Full Text: DOI
Feng, Ruyong On the computation of the Galois group of linear difference equations. (English) Zbl 1380.65430 Math. Comput. 87, No. 310, 941-965 (2018). MSC: 65Q10 39A06 12H10 PDF BibTeX XML Cite \textit{R. Feng}, Math. Comput. 87, No. 310, 941--965 (2018; Zbl 1380.65430) Full Text: DOI arXiv
Hashemi, Amir; M.-Alizadeh, Benyamin; Dehghani Darmian, Mahdi Computing comprehensive Gröbner systems: a comparison of two methods. (English) Zbl 1390.68779 Comput. Sci. J. Mold. 25, No. 3(75), 278-302 (2017). MSC: 68W30 13P10 PDF BibTeX XML Cite \textit{A. Hashemi} et al., Comput. Sci. J. Mold. 25, No. 3(75), 278--302 (2017; Zbl 1390.68779) Full Text: Link
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 PDF BibTeX XML Cite \textit{D. Kapur}, J. Syst. Sci. Complex. 30, No. 1, 196--233 (2017; Zbl 1376.13012) Full Text: DOI
Hashemi, Amir; Dehghani Darmian, Mahdi; Barkhordar, Marzieh Gröbner systems conversion. (English) Zbl 1409.68344 Math. Comput. Sci. 11, No. 1, 61-77 (2017). MSC: 68W30 13P10 PDF BibTeX XML Cite \textit{A. Hashemi} et al., Math. Comput. Sci. 11, No. 1, 61--77 (2017; Zbl 1409.68344) Full Text: DOI
Dehghani Darmian, Mahdi; Hashemi, Amir Parametric FGLM algorithm. (English) Zbl 1359.13030 J. Symb. Comput. 82, 38-56 (2017). Reviewer: Ihsen Yengui (Sfax) MSC: 13P10 68W30 14Q99 PDF BibTeX XML Cite \textit{M. Dehghani Darmian} and \textit{A. Hashemi}, J. Symb. Comput. 82, 38--56 (2017; Zbl 1359.13030) Full Text: DOI
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. (English) Zbl 1365.68488 ACM Commun. Comput. Algebra 50, No. 3, 101-104 (2016). MSC: 68W30 13-04 13P10 PDF BibTeX XML Cite \textit{R. Fukasaku} et al., ACM Commun. Comput. Algebra 50, No. 3, 101--104 (2016; Zbl 1365.68488) Full Text: DOI
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke On the implementation of CGS real QE. (English) Zbl 1434.68705 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 165-172 (2016). MSC: 68W30 03C10 13P10 PDF BibTeX XML Cite \textit{R. Fukasaku} et al., Lect. Notes Comput. Sci. 9725, 165--172 (2016; Zbl 1434.68705) Full Text: DOI
Lichtblau, Daniel First order perturbation and local stability of parametrized systems. (English) Zbl 1342.65130 Math. Comput. Sci. 10, No. 1, 143-163 (2016). Reviewer: Anton Iliev (Plovdiv) MSC: 65H10 13P10 65H20 PDF BibTeX XML Cite \textit{D. Lichtblau}, Math. Comput. Sci. 10, No. 1, 143--163 (2016; Zbl 1342.65130) Full Text: DOI
Chen, Zhenghong; Tang, Xiaoxian; Xia, Bican Generic regular decompositions for parametric polynomial systems. (English) Zbl 1327.93101 J. Syst. Sci. Complex. 28, No. 5, 1194-1211 (2015). MSC: 93B11 68W30 PDF BibTeX XML Cite \textit{Z. Chen} et al., J. Syst. Sci. Complex. 28, No. 5, 1194--1211 (2015; Zbl 1327.93101) Full Text: DOI arXiv
Fukasaku, Ryoya; Inoue, Shutaro; Sato, Yosuke On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems. (English) Zbl 1341.68311 Math. Comput. Sci. 9, No. 3, 267-281 (2015). MSC: 68W30 PDF BibTeX XML Cite \textit{R. Fukasaku} et al., Math. Comput. Sci. 9, No. 3, 267--281 (2015; Zbl 1341.68311) Full Text: DOI
Tang, XiaoXian; Chen, ZhengHong; Xia, BiCan Generic regular decompositions for generic zero-dimensional systems. (English) Zbl 1423.68617 Sci. China, Inf. Sci. 57, No. 9, Article ID 092101, 14 p. (2014). MSC: 68W30 13P10 65H10 68T15 PDF BibTeX XML Cite \textit{X. Tang} et al., Sci. China, Inf. Sci. 57, No. 9, Article ID 092101, 14 p. (2014; Zbl 1423.68617) Full Text: DOI arXiv Link
Botana, Francisco; Abánades, Miguel A. Automatic deduction in (dynamic) geometry: Loci computation. (English) Zbl 1280.65021 Comput. Geom. 47, No. 1, 75-89 (2014). MSC: 65D18 PDF BibTeX XML Cite \textit{F. Botana} and \textit{M. A. Abánades}, Comput. Geom. 47, No. 1, 75--89 (2014; Zbl 1280.65021) Full Text: DOI
Li, Xiaoliang; Mou, Chenqi; Niu, Wei; Wang, Dongming Stability analysis for discrete biological models using algebraic methods. (English) Zbl 1270.92023 Math. Comput. Sci. 5, No. 3, 247-262 (2011). MSC: 92C42 92B05 92-08 37N25 PDF BibTeX XML Cite \textit{X. Li} et al., Math. Comput. Sci. 5, No. 3, 247--262 (2011; Zbl 1270.92023) Full Text: DOI
Sato, Yosuke; Inoue, Shutaro; Suzuki, Akira; Nabeshima, Katsusuke; Sakai, Ko Boolean Gröbner bases. (English) Zbl 1211.68519 J. Symb. Comput. 46, No. 5, 622-632 (2011). MSC: 68W30 06E20 13P10 PDF BibTeX XML Cite \textit{Y. Sato} et al., J. Symb. Comput. 46, No. 5, 622--632 (2011; Zbl 1211.68519) Full Text: DOI
Nabeshima, Katsusuke On the computation of parametric Gröbner bases for modules and syzygies. (English) Zbl 1204.13019 Japan J. Ind. Appl. Math. 27, No. 2, 217-238 (2010). MSC: 13P10 13D02 13-04 PDF BibTeX XML Cite \textit{K. Nabeshima}, Japan J. Ind. Appl. Math. 27, No. 2, 217--238 (2010; Zbl 1204.13019) Full Text: DOI
Montes, Antonio; Wibmer, Michael Gröbner bases for polynomial systems with parameters. (English) Zbl 1207.13018 J. Symb. Comput. 45, No. 12, 1391-1425 (2010). Reviewer: Junaid Alam Khan (Karachi) MSC: 13P10 13-04 PDF BibTeX XML Cite \textit{A. Montes} and \textit{M. Wibmer}, J. Symb. Comput. 45, No. 12, 1391--1425 (2010; Zbl 1207.13018) Full Text: DOI
Inoue, Shutaro On the computation of comprehensive Boolean Gröbner bases. (English) Zbl 1260.68480 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 130-141 (2009). MSC: 68W30 13P10 PDF BibTeX XML Cite \textit{S. Inoue}, Lect. Notes Comput. Sci. 5743, 130--141 (2009; Zbl 1260.68480) Full Text: DOI
Anai, Hirokazu; Hara, Shinji; Kanno, Masaaki; Yokoyama, Kazuhiro Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. (English) Zbl 1180.13036 J. Symb. Comput. 44, No. 7, 703-725 (2009). MSC: 13P10 13P25 93C80 PDF BibTeX XML Cite \textit{H. Anai} et al., J. Symb. Comput. 44, No. 7, 703--725 (2009; Zbl 1180.13036) Full Text: DOI
Manubens, Montserrat; Montes, Antonio Minimal canonical comprehensive Gröbner systems. (English) Zbl 1159.13304 J. Symb. Comput. 44, No. 5, 463-478 (2009). MSC: 13P10 PDF BibTeX XML Cite \textit{M. Manubens} and \textit{A. Montes}, J. Symb. Comput. 44, No. 5, 463--478 (2009; Zbl 1159.13304) Full Text: DOI arXiv Link
Sato, Yosuke; Nagai, Akira; Inoue, Shutaro On the computation of elimination ideals of Boolean polynomial rings. (English) Zbl 1166.13303 Kapur, Deepak (ed.), Computer mathematics. 8th Asian symposium, ASCM 2007, Singapore, December 15–17, 2007. Revised and invited papers. Berlin: Springer (ISBN 978-3-540-87826-1/pbk). Lecture Notes in Computer Science 5081. Lecture Notes in Artificial Intelligence, 334-348 (2008). MSC: 13P10 68W30 PDF BibTeX XML Cite \textit{Y. Sato} et al., Lect. Notes Comput. Sci. 5081, 334--348 (2008; Zbl 1166.13303) Full Text: DOI
Wibmer, Michael Gröbner bases for families of affine or projective schemes. (English) Zbl 1134.13025 J. Symb. Comput. 42, No. 8, 803-834 (2007). Reviewer: Hans-Gert Gräbe (Leipzig) MSC: 13P10 PDF BibTeX XML Cite \textit{M. Wibmer}, J. Symb. Comput. 42, No. 8, 803--834 (2007; Zbl 1134.13025) Full Text: DOI arXiv