Chen, Shaoshi; Kauers, Manuel; Li, Ziming; Zhang, Yi Apparent singularities of D-finite systems. (English) Zbl 1427.13036 J. Symb. Comput. 95, 217-237 (2019). Reviewer: Vladimir P. Kostov (Nice) MSC: 13P10 68W30 12H05 PDFBibTeX XMLCite \textit{S. Chen} et al., J. Symb. Comput. 95, 217--237 (2019; Zbl 1427.13036) Full Text: DOI arXiv
Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc An equivalence theorem for regular differential chains. (English) Zbl 1422.13023 J. Symb. Comput. 93, 34-55 (2019). Reviewer: Amir Hashemi (Isfahan) MSC: 13N05 68W30 PDFBibTeX XMLCite \textit{F. Boulier} et al., J. Symb. Comput. 93, 34--55 (2019; Zbl 1422.13023) Full Text: DOI HAL
Ceria, Michela; Mora, Teo; Roggero, Margherita Term-ordering free involutive bases. (English) Zbl 1311.13036 J. Symb. Comput. 68, Part 2, 87-108 (2015). Reviewer: Vilmar Trevisan (Porto Alegre) MSC: 13P10 68W30 13F20 14C05 14Q20 13-03 01A60 PDFBibTeX XMLCite \textit{M. Ceria} et al., J. Symb. Comput. 68, Part 2, 87--108 (2015; Zbl 1311.13036) Full Text: DOI arXiv
Albert, Mario; Fetzer, Matthias; Sáenz-de-Cabezón, Eduardo; Seiler, Werner M. On the free resolution induced by a Pommaret basis. (English) Zbl 1327.13097 J. Symb. Comput. 68, Part 2, 4-26 (2015). Reviewer: Kuei-Nuan Lin (McKeesport) MSC: 13P10 13D02 PDFBibTeX XMLCite \textit{M. Albert} et al., J. Symb. Comput. 68, Part 2, 4--26 (2015; Zbl 1327.13097) Full Text: DOI
Cheng, Jin-San; Jin, Kai A generic position based method for real root isolation of zero-dimensional polynomial systems. (English) Zbl 1304.13048 J. Symb. Comput. 68, Part 1, 204-224 (2015). Reviewer: Amir Hashemi (Isfahan) MSC: 13P05 68W30 PDFBibTeX XMLCite \textit{J.-S. Cheng} and \textit{K. Jin}, J. Symb. Comput. 68, Part 1, 204--224 (2015; Zbl 1304.13048) Full Text: DOI arXiv
Cheng, Jin-San; Gao, Xiao-Shan Multiplicity-preserving triangular set decomposition of two polynomials. (English) Zbl 1317.12002 J. Syst. Sci. Complex. 27, No. 6, 1320-1344 (2014). MSC: 12Y05 68W30 13P10 PDFBibTeX XMLCite \textit{J.-S. Cheng} and \textit{X.-S. Gao}, J. Syst. Sci. Complex. 27, No. 6, 1320--1344 (2014; Zbl 1317.12002) Full Text: DOI
Sun, Yao; Wang, Dingkang An efficient algorithm for factoring polynomials over algebraic extension field. (English) Zbl 1271.12007 Sci. China, Math. 56, No. 6, 1155-1168 (2013). MSC: 12Y05 12E05 13P10 PDFBibTeX XMLCite \textit{Y. Sun} and \textit{D. Wang}, Sci. China, Math. 56, No. 6, 1155--1168 (2013; Zbl 1271.12007) Full Text: DOI arXiv
Bächler, Thomas; Gerdt, Vladimir; Lange-Hegermann, Markus; Robertz, Daniel Thomas decomposition of algebraic and differential systems. (English) Zbl 1202.68488 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 31-54 (2010). MSC: 68W30 12H05 13N10 35A30 PDFBibTeX XMLCite \textit{T. Bächler} et al., Lect. Notes Comput. Sci. 6244, 31--54 (2010; Zbl 1202.68488) Full Text: DOI arXiv
Yuan, Chunming; Gao, Xiao-Shan A criterion for testing whether a difference ideal is prime. (English) Zbl 1300.13020 J. Syst. Sci. Complex. 22, No. 4, 627-635 (2009). MSC: 13P05 13A15 PDFBibTeX XMLCite \textit{C. Yuan} and \textit{X.-S. Gao}, J. Syst. Sci. Complex. 22, No. 4, 627--635 (2009; Zbl 1300.13020) Full Text: DOI
Seiler, Werner M. A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type. (English) Zbl 1175.13012 Appl. Algebra Eng. Commun. Comput. 20, No. 3-4, 207-259 (2009). MSC: 13P10 PDFBibTeX XMLCite \textit{W. M. Seiler}, Appl. Algebra Eng. Commun. Comput. 20, No. 3--4, 207--259 (2009; Zbl 1175.13012) Full Text: DOI arXiv
Gao, X. S.; van der Hoeven, J.; Yuan, C. M.; Zhang, G. L. Characteristic set method for differential-difference polynomial systems. (English) Zbl 1169.13019 J. Symb. Comput. 44, No. 9, 1137-1163 (2009). MSC: 13P99 13N15 68W30 PDFBibTeX XMLCite \textit{X. S. Gao} et al., J. Symb. Comput. 44, No. 9, 1137--1163 (2009; Zbl 1169.13019) Full Text: DOI
Reid, Greg; Zhi, Lihong Solving polynomial systems via symbolic-numeric reduction to geometric involutive form. (English) Zbl 1177.13065 J. Symb. Comput. 44, No. 3, 280-291 (2009). Reviewer: David Sevilla (Linz) MSC: 13P10 68W30 65F15 PDFBibTeX XMLCite \textit{G. Reid} and \textit{L. Zhi}, J. Symb. Comput. 44, No. 3, 280--291 (2009; Zbl 1177.13065) Full Text: DOI
Li, Jia; Gao, Xiao-Shan A modified Van der Waerden algorithm to decompose algebraic varieties and zero-dimensional radical ideals. (English) Zbl 1166.13301 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, 246-262 (2008). MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{J. Li} and \textit{X.-S. Gao}, Lect. Notes Comput. Sci. 5081, 246--262 (2008; Zbl 1166.13301) Full Text: DOI
Gerdt, Vladimir P. On decomposition of algebraic PDE systems into simple subsystems. (English) Zbl 1154.68111 Acta Appl. Math. 101, No. 1-3, 39-51 (2008). Reviewer: Boris S. Kruglikov (Tromsø) MSC: 68W30 12H05 13N10 35A30 PDFBibTeX XMLCite \textit{V. P. Gerdt}, Acta Appl. Math. 101, No. 1--3, 39--51 (2008; Zbl 1154.68111) Full Text: DOI
Tang, Zailiang Involutive bases under composition. (English) Zbl 1333.13037 J. Syst. Sci. Complex. 20, No. 3, 397-402 (2007). MSC: 13P10 PDFBibTeX XMLCite \textit{Z. Tang}, J. Syst. Sci. Complex. 20, No. 3, 397--402 (2007; Zbl 1333.13037) Full Text: DOI
Apel, Joachim; Hemmecke, Ralf Detecting unnecessary reductions in an involutive basis computation. (English) Zbl 1120.13028 J. Symb. Comput. 40, No. 4-5, 1131-1149 (2005). MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{J. Apel} and \textit{R. Hemmecke}, J. Symb. Comput. 40, No. 4--5, 1131--1149 (2005; Zbl 1120.13028) Full Text: DOI
Chen, Yu-Fu; Gao, Xiao-Shan Involutive directions and new involutive divisions. (English) Zbl 1018.12010 Comput. Math. Appl. 41, No. 7-8, 945-956 (2001). Reviewer: Christopher Athorne (Glasgow) MSC: 12Y05 13P10 12H20 16Z05 68W30 PDFBibTeX XMLCite \textit{Y.-F. Chen} and \textit{X.-S. Gao}, Comput. Math. Appl. 41, No. 7--8, 945--956 (2001; Zbl 1018.12010) Full Text: DOI
Bouziane, Driss; Kandri Rody, Abdelilah; Maârouf, Hamid Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. (English) Zbl 1038.12005 J. Symb. Comput. 31, No. 6, 631-649 (2001). MSC: 12H05 68W30 13N10 12Y05 PDFBibTeX XMLCite \textit{D. Bouziane} et al., J. Symb. Comput. 31, No. 6, 631--649 (2001; Zbl 1038.12005) Full Text: DOI