Xu, Juan; Wang, Dongming; Lu, Dong Squarefree normal representation of zeros of zero-dimensional polynomial systems. (English) Zbl 07783994 J. Symb. Comput. 122, Article ID 102273, 14 p. (2024). MSC: 13Pxx 68Wxx 65Hxx PDFBibTeX XMLCite \textit{J. Xu} et al., J. Symb. Comput. 122, Article ID 102273, 14 p. (2024; Zbl 07783994) Full Text: DOI
Jiménez-Pastor, Antonio; Petkovšek, Marko The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients. (English) Zbl 07658452 J. Symb. Comput. 117, 15-50 (2023). MSC: 33F10 39A06 68W30 PDFBibTeX XMLCite \textit{A. Jiménez-Pastor} and \textit{M. Petkovšek}, J. Symb. Comput. 117, 15--50 (2023; Zbl 07658452) Full Text: DOI arXiv
Wang, Rong-Hua; Zhong, Michael X. X. \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\). (English) Zbl 07621045 J. Symb. Comput. 116, 58-71 (2023). Reviewer: Emanuele Munarini (Milano) MSC: 05A30 05A19 33C20 33D15 PDFBibTeX XMLCite \textit{R.-H. Wang} and \textit{M. X. X. Zhong}, J. Symb. Comput. 116, 58--71 (2023; Zbl 07621045) Full Text: DOI arXiv
Lu, Dong; Wang, Dingkang; Xiao, Fanghui New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices. (English) Zbl 1497.15017 J. Symb. Comput. 115, 266-284 (2023). MSC: 15A23 13P10 68W30 PDFBibTeX XMLCite \textit{D. Lu} et al., J. Symb. Comput. 115, 266--284 (2023; Zbl 1497.15017) Full Text: DOI arXiv
Dahan, Xavier Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one. (English) Zbl 07457757 J. Symb. Comput. 110, 24-65 (2022). MSC: 68Wxx 13Pxx 12Yxx PDFBibTeX XMLCite \textit{X. Dahan}, J. Symb. Comput. 110, 24--65 (2022; Zbl 07457757) Full Text: DOI arXiv
Giesbrecht, Mark; Huang, Hui; Labahn, George; Zima, Eugene Efficient \(q\)-integer linear decomposition of multivariate polynomials. (English) Zbl 1486.11160 J. Symb. Comput. 107, 122-144 (2021). MSC: 11Y16 68W30 33F10 12H10 PDFBibTeX XMLCite \textit{M. Giesbrecht} et al., J. Symb. Comput. 107, 122--144 (2021; Zbl 1486.11160) Full Text: DOI arXiv
Fu, Lei; Li, Wei Unirational differential curves and differential rational parametrizations. (English) Zbl 1467.14146 J. Symb. Comput. 104, 539-562 (2021). Reviewer: Juan Rafael Sendra (Alcalá de Henares) MSC: 14Q05 12H05 PDFBibTeX XMLCite \textit{L. Fu} and \textit{W. Li}, J. Symb. Comput. 104, 539--562 (2021; Zbl 1467.14146) Full Text: DOI arXiv
Chen, Shaoshi; Du, Lixin; Wang, Rong-Hua; Zhu, Chaochao On the existence of telescopers for rational functions in three variables. (English) Zbl 1465.05185 J. Symb. Comput. 104, 494-522 (2021). MSC: 05E05 12H05 68W30 33F10 PDFBibTeX XMLCite \textit{S. Chen} et al., J. Symb. Comput. 104, 494--522 (2021; Zbl 1465.05185) Full Text: DOI arXiv
Dong, Rina; Wang, Dongming Computing strong regular characteristic pairs with Gröbner bases. (English) Zbl 1458.13031 J. Symb. Comput. 104, 312-327 (2021). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{R. Dong} and \textit{D. Wang}, J. Symb. Comput. 104, 312--327 (2021; Zbl 1458.13031) Full Text: DOI arXiv
Huang, Zhenyu; Sun (c), Yao; Lin, Dongdai On the efficiency of solving Boolean polynomial systems with the characteristic set method. (English) Zbl 1468.68337 J. Symb. Comput. 103, 66-94 (2021). MSC: 68W30 13P15 68W40 PDFBibTeX XMLCite \textit{Z. Huang} et al., J. Symb. Comput. 103, 66--94 (2021; Zbl 1468.68337) Full Text: DOI arXiv
Mou, Chenqi; Bai, Yang; Lai, Jiahua Chordal graphs in triangular decomposition in top-down style. (English) Zbl 1443.05132 J. Symb. Comput. 102, 108-131 (2021). MSC: 05C62 05C25 13P15 68W30 PDFBibTeX XMLCite \textit{C. Mou} et al., J. Symb. Comput. 102, 108--131 (2021; Zbl 1443.05132) Full Text: DOI arXiv
Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno Taxonomies of geometric problems. (English) Zbl 1444.68292 J. Symb. Comput. 97, 31-55 (2020). MSC: 68V30 68U05 68V15 68V35 PDFBibTeX XMLCite \textit{P. Quaresma} et al., J. Symb. Comput. 97, 31--55 (2020; Zbl 1444.68292) Full Text: DOI
Eder, Christian; Faugère, Jean-Charles A survey on signature-based algorithms for computing Gröbner bases. (English) Zbl 1412.68306 J. Symb. Comput. 80, Part 3, 719-784 (2017). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{C. Eder} and \textit{J.-C. Faugère}, J. Symb. Comput. 80, Part 3, 719--784 (2017; Zbl 1412.68306) Full Text: DOI HAL
Li, Wei; Yuan, Chun-Ming; Gao, Xiao-Shan Sparse difference resultant. (English) Zbl 1328.65266 J. Symb. Comput. 68, Part 1, 169-203 (2015). MSC: 65Q99 12H10 13P15 39A10 PDFBibTeX XMLCite \textit{W. Li} et al., J. Symb. Comput. 68, Part 1, 169--203 (2015; Zbl 1328.65266) Full Text: DOI arXiv
Shen, Li-Yong; Pérez-Díaz, Sonia Characterization of rational ruled surfaces. (English) Zbl 1294.65023 J. Symb. Comput. 63, 21-45 (2014). MSC: 65D17 PDFBibTeX XMLCite \textit{L.-Y. Shen} and \textit{S. Pérez-Díaz}, J. Symb. Comput. 63, 21--45 (2014; Zbl 1294.65023) Full Text: DOI arXiv
Gerdt, Vladimir P.; Hashemi, Amir; M.-Alizadeh, Benyamin Involutive bases algorithm incorporating F\(_5\) criterion. (English) Zbl 1435.68391 J. Symb. Comput. 59, 1-20 (2013). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{V. P. Gerdt} et al., J. Symb. Comput. 59, 1--20 (2013; Zbl 1435.68391) Full Text: DOI arXiv
Gao, Xiao-Shan; Huang, Zhenyu Characteristic set algorithms for equation solving in finite fields. (English) Zbl 1273.11176 J. Symb. Comput. 47, No. 6, 655-679 (2012). MSC: 11Y16 11T06 12E20 68W30 94C10 PDFBibTeX XMLCite \textit{X.-S. Gao} and \textit{Z. Huang}, J. Symb. Comput. 47, No. 6, 655--679 (2012; Zbl 1273.11176) Full Text: DOI
Brickenstein, Michael; Dreyer, Alexander Polybori: A framework for Gröbner-basis computations with Boolean polynomials. (English) Zbl 1186.68571 J. Symb. Comput. 44, No. 9, 1326-1345 (2009). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{M. Brickenstein} and \textit{A. Dreyer}, J. Symb. Comput. 44, No. 9, 1326--1345 (2009; Zbl 1186.68571) Full Text: DOI