Kreuzer, Martin; Walsh, Florian Computing the binomial part of a polynomial ideal. (English) Zbl 07815428 J. Symb. Comput. 124, Article ID 102298, 30 p. (2024). MSC: 13P05 12-08 13C13 13F65 PDFBibTeX XMLCite \textit{M. Kreuzer} and \textit{F. Walsh}, J. Symb. Comput. 124, Article ID 102298, 30 p. (2024; Zbl 07815428) Full Text: DOI arXiv
Lairez, Pierre Axioms for a theory of signature bases. (English) Zbl 07799835 J. Symb. Comput. 123, Article ID 102275, 32 p. (2024). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{P. Lairez}, J. Symb. Comput. 123, Article ID 102275, 32 p. (2024; Zbl 07799835) Full Text: DOI arXiv
Härkönen, Marc; Nicklasson, Lisa; Raiţă, Bogdan Syzygies, constant rank, and beyond. (English) Zbl 07799834 J. Symb. Comput. 123, Article ID 102274, 23 p. (2024). Reviewer: Aygul Manapova (Ufa) MSC: 49J45 93B99 PDFBibTeX XMLCite \textit{M. Härkönen} et al., J. Symb. Comput. 123, Article ID 102274, 23 p. (2024; Zbl 07799834) Full Text: DOI arXiv
Abdallah, Nancy; Schenck, Hal Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four. (English) Zbl 1524.13065 J. Symb. Comput. 121, Article ID 102257, 13 p. (2024). Reviewer: Jorge Sentiero Neves (Coimbra) MSC: 13E10 13D02 PDFBibTeX XMLCite \textit{N. Abdallah} and \textit{H. Schenck}, J. Symb. Comput. 121, Article ID 102257, 13 p. (2024; Zbl 1524.13065) Full Text: DOI arXiv
Bruns, Winfried; Conca, Aldo Sagbi combinatorics of maximal minors and a Sagbi algorithm. (English) Zbl 1518.13019 J. Symb. Comput. 120, Article ID 102237, 14 p. (2024). Reviewer: Monica La Barbiera (Messina) MSC: 13F50 13F65 13P10 13P99 14M25 PDFBibTeX XMLCite \textit{W. Bruns} and \textit{A. Conca}, J. Symb. Comput. 120, Article ID 102237, 14 p. (2024; Zbl 1518.13019) Full Text: DOI arXiv
Gaar, Elisabeth; Siebenhofer, Melanie Sum-of-squares certificates for Vizing’s conjecture via determining Gröbner bases. (English) Zbl 1519.05190 J. Symb. Comput. 120, Article ID 102236, 31 p. (2024). MSC: 05C69 05C76 90C22 13P10 PDFBibTeX XMLCite \textit{E. Gaar} and \textit{M. Siebenhofer}, J. Symb. Comput. 120, Article ID 102236, 31 p. (2024; Zbl 1519.05190) Full Text: DOI arXiv
Morales, Marcel; Dung, Nguyen Thi A “pseudo-polynomial” algorithm for the Frobenius number and Gröbner basis. (English) Zbl 1523.13043 J. Symb. Comput. 120, Article ID 102233, 28 p. (2024). MSC: 13P10 13C14 13D40 13F65 14M05 14M25 PDFBibTeX XMLCite \textit{M. Morales} and \textit{N. T. Dung}, J. Symb. Comput. 120, Article ID 102233, 28 p. (2024; Zbl 1523.13043) Full Text: DOI
Saha, Joydip; Sengupta, Indranath; Srivastava, Pranjal Betti sequence of the projective closure of affine monomial curves. (English) Zbl 1521.13037 J. Symb. Comput. 119, 101-111 (2023). MSC: 13H10 13P10 13P20 PDFBibTeX XMLCite \textit{J. Saha} et al., J. Symb. Comput. 119, 101--111 (2023; Zbl 1521.13037) Full Text: DOI
Zhang, Tianjie; Gao, Xing; Guo, Li Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases. (English) Zbl 07704555 J. Symb. Comput. 119, 64-80 (2023). Reviewer: Xiangui Zhao (Huizhou) MSC: 16Z10 16S10 13P10 17B38 05A05 PDFBibTeX XMLCite \textit{T. Zhang} et al., J. Symb. Comput. 119, 64--80 (2023; Zbl 07704555) Full Text: DOI
Hashemi, Amir; Orth, Matthias; Seiler, Werner M. Recursive structures in involutive bases theory. (English) Zbl 1511.13029 J. Symb. Comput. 118, 32-68 (2023). Reviewer: Mehrdad Nasernejad (Lens) MSC: 13P10 13D02 68W30 PDFBibTeX XMLCite \textit{A. Hashemi} et al., J. Symb. Comput. 118, 32--68 (2023; Zbl 1511.13029) Full Text: DOI
Hashemi, Amir; Möller, H. Michael A new algorithm for computing staggered linear bases. (English) Zbl 1519.13015 J. Symb. Comput. 117, 1-14 (2023). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 13P10 68W30 13-04 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{H. M. Möller}, J. Symb. Comput. 117, 1--14 (2023; Zbl 1519.13015) Full Text: DOI
Asadi, Mohammadali; Brandt, Alexander; Moir, Robert H. C.; Moreno Maza, Marc; Xie, Yuzhen Parallelization of triangular decompositions: techniques and implementation. (English) Zbl 1503.13018 J. Symb. Comput. 115, 371-406 (2023). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 11Y05 PDFBibTeX XMLCite \textit{M. Asadi} et al., J. Symb. Comput. 115, 371--406 (2023; Zbl 1503.13018) Full Text: DOI
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
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 PDFBibTeX XMLCite \textit{D. Wang} et al., J. Symb. Comput. 115, 248--265 (2023; Zbl 1502.13068) Full Text: DOI
Rodriguez Bazan, Erick; Hubert, Evelyne Symmetry in multivariate ideal interpolation. (English) Zbl 1525.13041 J. Symb. Comput. 115, 174-200 (2023). MSC: 13P25 13A50 13P10 68W30 PDFBibTeX XMLCite \textit{E. Rodriguez Bazan} and \textit{E. Hubert}, J. Symb. Comput. 115, 174--200 (2023; Zbl 1525.13041) Full Text: DOI
Falkensteiner, Sebastian; Garay-López, Cristhian; Haiech, Mercedes; Noordman, Marc Paul; Boulier, François; Toghani, Zeinab On initials and the fundamental theorem of tropical partial differential algebraic geometry. (English) Zbl 1502.14150 J. Symb. Comput. 115, 53-73 (2023). MSC: 14T10 13P10 12H05 13-02 13Nxx 12H20 PDFBibTeX XMLCite \textit{S. Falkensteiner} et al., J. Symb. Comput. 115, 53--73 (2023; Zbl 1502.14150) Full Text: DOI
Caminata, Alessio; Gorla, Elisa Solving degree, last fall degree, and related invariants. (English) Zbl 1491.13035 J. Symb. Comput. 114, 322-335 (2023). MSC: 13P10 13P15 13P25 68W30 PDFBibTeX XMLCite \textit{A. Caminata} and \textit{E. Gorla}, J. Symb. Comput. 114, 322--335 (2023; Zbl 1491.13035) Full Text: DOI arXiv
Ait El Manssour, Rida; Sattelberger, Anna-Laura Combinatorial differential algebra of \(x^p\). (English) Zbl 07558517 J. Symb. Comput. 114, 193-208 (2023). MSC: 05E40 13P10 12H05 52B20 PDFBibTeX XMLCite \textit{R. Ait El Manssour} and \textit{A.-L. Sattelberger}, J. Symb. Comput. 114, 193--208 (2023; Zbl 07558517) Full Text: DOI arXiv
Hofstadler, Clemens; Verron, Thibaut Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. (English) Zbl 1502.16049 J. Symb. Comput. 113, 211-241 (2022). Reviewer: Xiangui Zhao (Huizhou) MSC: 16Z10 13P10 68W30 PDFBibTeX XMLCite \textit{C. Hofstadler} and \textit{T. Verron}, J. Symb. Comput. 113, 211--241 (2022; Zbl 1502.16049) Full Text: DOI arXiv
Cañón, Mario Morán; Sebag, Julien Two algorithms for computing the general component of jet scheme and applications. (English) Zbl 1491.13036 J. Symb. Comput. 113, 74-96 (2022). Reviewer: Francesca Cioffi (Napoli) MSC: 13P10 14B05 14E15 14E18 14Q05 14Q15 14Q20 32S05 PDFBibTeX XMLCite \textit{M. M. Cañón} and \textit{J. Sebag}, J. Symb. Comput. 113, 74--96 (2022; Zbl 1491.13036) Full Text: DOI
Adamus, Elżbieta; Bogdan, Paweł Algorithm for studying polynomial maps and reductions modulo prime number. (English) Zbl 1499.14102 J. Symb. Comput. 112, 1-24 (2022). Reviewer: Yan Dan (Changsha) MSC: 14R15 14R10 14Q20 13P10 PDFBibTeX XMLCite \textit{E. Adamus} and \textit{P. Bogdan}, J. Symb. Comput. 112, 1--24 (2022; Zbl 1499.14102) Full Text: DOI arXiv
Hashemi, Amir; Parnian, Hossein; Seiler, Werner M. Computation of Macaulay constants and degree bounds for Gröbner bases. (English) Zbl 1517.13022 J. Symb. Comput. 111, 44-60 (2022). Reviewer: Eduardo Saenz-de-Cabezon (Logroño) MSC: 13P10 13D40 PDFBibTeX XMLCite \textit{A. Hashemi} et al., J. Symb. Comput. 111, 44--60 (2022; Zbl 1517.13022) Full Text: DOI
Liang, Yihui Degree bounds for Gröbner bases of modules. (English) Zbl 1479.13034 J. Symb. Comput. 111, 27-43 (2022). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{Y. Liang}, J. Symb. Comput. 111, 27--43 (2022; Zbl 1479.13034) Full Text: DOI arXiv
Berthomieu, Jérémy; Safey El Din, Mohab Guessing Gröbner bases of structured ideals of relations of sequences. (English) Zbl 1486.13039 J. Symb. Comput. 111, 1-26 (2022). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 13P10 68W30 94A55 PDFBibTeX XMLCite \textit{J. Berthomieu} and \textit{M. Safey El Din}, J. Symb. Comput. 111, 1--26 (2022; Zbl 1486.13039) Full Text: DOI arXiv
Chen, Justin; Härkönen, Marc; Krone, Robert; Leykin, Anton Noetherian operators and primary decomposition. (English) Zbl 1484.14108 J. Symb. Comput. 110, 1-23 (2022). Reviewer: Alexander B. Levin (Washington) MSC: 14Q15 65L80 13N05 65D05 PDFBibTeX XMLCite \textit{J. Chen} et al., J. Symb. Comput. 110, 1--23 (2022; Zbl 1484.14108) Full Text: DOI arXiv
Gorla, Elisa; Mueller, Daniela; Petit, Christophe Stronger bounds on the cost of computing Gröbner bases for HFE systems. (English) Zbl 1473.94100 J. Symb. Comput. 109, 386-398 (2022). MSC: 94A60 13P10 PDFBibTeX XMLCite \textit{E. Gorla} et al., J. Symb. Comput. 109, 386--398 (2022; Zbl 1473.94100) Full Text: DOI arXiv
Böhm, Janko; Decker, Wolfram; Laplagne, Santiago; Pfister, Gerhard Computing integral bases via localization and Hensel lifting. (English) Zbl 1484.13057 J. Symb. Comput. 109, 283-324 (2022). Reviewer: Kriti Goel (Mumbai) MSC: 13P10 68W30 13B22 11Y40 13-04 14H05 14Q05 PDFBibTeX XMLCite \textit{J. Böhm} et al., J. Symb. Comput. 109, 283--324 (2022; Zbl 1484.13057) Full Text: DOI arXiv
Bigatti, Anna Maria; Robbiano, Lorenzo Saturations of subalgebras, SAGBI bases, and U-invariants. (English) Zbl 1472.13044 J. Symb. Comput. 109, 259-282 (2022). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 08A30 13-04 14R20 68W30 PDFBibTeX XMLCite \textit{A. M. Bigatti} and \textit{L. Robbiano}, J. Symb. Comput. 109, 259--282 (2022; Zbl 1472.13044) Full Text: DOI arXiv
La Scala, Roberto; Tiwari, Sharwan K. Stream/block ciphers, difference equations and algebraic attacks. (English) Zbl 1477.13052 J. Symb. Comput. 109, 177-198 (2022). Reviewer: Alexander B. Levin (Washington) MSC: 13P10 11T71 12H10 PDFBibTeX XMLCite \textit{R. La Scala} and \textit{S. K. Tiwari}, J. Symb. Comput. 109, 177--198 (2022; Zbl 1477.13052) Full Text: DOI arXiv
Berthomieu, Jérémy; Faugère, Jean-Charles Polynomial-division-based algorithms for computing linear recurrence relations. (English) Zbl 1481.68050 J. Symb. Comput. 109, 1-30 (2022). Reviewer: Christoph Koutschan (Linz) MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{J. Berthomieu} and \textit{J.-C. Faugère}, J. Symb. Comput. 109, 1--30 (2022; Zbl 1481.68050) Full Text: DOI arXiv
Li, Yunnan; Guo, Li Construction of free differential algebras by extending Gröbner-Shirshov bases. (English) Zbl 1462.13027 J. Symb. Comput. 107, 167-189 (2021). Reviewer: Alexander B. Levin (Washington) MSC: 13P10 16Z10 12H05 16S10 13N10 16S15 PDFBibTeX XMLCite \textit{Y. Li} and \textit{L. Guo}, J. Symb. Comput. 107, 167--189 (2021; Zbl 1462.13027) Full Text: DOI arXiv
Gaar, Elisabeth; Krenn, Daniel; Margulies, Susan; Wiegele, Angelika Towards a computational proof of Vizing’s conjecture using semidefinite programming and sums-of-squares. (English) Zbl 1465.05128 J. Symb. Comput. 107, 67-105 (2021). MSC: 05C69 13P10 90C22 05C76 PDFBibTeX XMLCite \textit{E. Gaar} et al., J. Symb. Comput. 107, 67--105 (2021; Zbl 1465.05128) Full Text: DOI arXiv
Rodriguez Bazan, Erick; Hubert, Evelyne Multivariate interpolation: preserving and exploiting symmetry. (English) Zbl 1479.41002 J. Symb. Comput. 107, 1-22 (2021). MSC: 41A05 41A63 13P10 PDFBibTeX XMLCite \textit{E. Rodriguez Bazan} and \textit{E. Hubert}, J. Symb. Comput. 107, 1--22 (2021; Zbl 1479.41002) Full Text: DOI
Maletzky, Alexander A generic and executable formalization of signature-based Gröbner basis algorithms. (English) Zbl 1467.13050 J. Symb. Comput. 106, 23-47 (2021). Reviewer: John Perry (Hattiesburg) MSC: 13P10 68W30 68V20 PDFBibTeX XMLCite \textit{A. Maletzky}, J. Symb. Comput. 106, 23--47 (2021; Zbl 1467.13050) Full Text: DOI arXiv
Hashemi, Amir; Heintz, Joos; Pardo, Luis M.; Solernó, Pablo On Bézout inequalities for non-homogeneous polynomial ideals. (English) Zbl 1477.13042 J. Symb. Comput. 106, 1-22 (2021). Reviewer: Hamid Rahkooy (Saarbrücken) MSC: 13F20 14Qxx 13P10 PDFBibTeX XMLCite \textit{A. Hashemi} et al., J. Symb. Comput. 106, 1--22 (2021; Zbl 1477.13042) Full Text: DOI arXiv
Doliskani, Javad; Narayanan, Anand Kumar; Schost, Éric Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields. (English) Zbl 1459.11134 J. Symb. Comput. 105, 199-213 (2021). MSC: 11G09 11Y16 68W30 11T06 PDFBibTeX XMLCite \textit{J. Doliskani} et al., J. Symb. Comput. 105, 199--213 (2021; Zbl 1459.11134) Full Text: DOI arXiv
Clarke, Oliver; Mohammadi, Fatemeh Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux. (English) Zbl 1467.14116 J. Symb. Comput. 104, 683-723 (2021). MSC: 14M15 05E14 13P10 PDFBibTeX XMLCite \textit{O. Clarke} and \textit{F. Mohammadi}, J. Symb. Comput. 104, 683--723 (2021; Zbl 1467.14116) Full Text: DOI arXiv
Ceria, Michela Combinatorial decompositions for monomial ideals. (English) Zbl 1458.13030 J. Symb. Comput. 104, 630-652 (2021). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 13F55 PDFBibTeX XMLCite \textit{M. Ceria}, J. Symb. Comput. 104, 630--652 (2021; Zbl 1458.13030) Full Text: DOI
Malykh, M. D.; Sevastianov, L. A.; Yu, Y. On symbolic integration of algebraic functions. (English) Zbl 1509.68343 J. Symb. Comput. 104, 563-579 (2021). MSC: 68W30 12H05 13P10 14H05 34A05 34A09 PDFBibTeX XMLCite \textit{M. D. Malykh} et al., J. Symb. Comput. 104, 563--579 (2021; Zbl 1509.68343) Full Text: DOI
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
Liu, Jiang; Ni, Feng Distance invariant method for normalization of indexed differentials. (English) Zbl 1496.13041 J. Symb. Comput. 104, 256-275 (2021). Reviewer: Alexander B. Levin (Washington) MSC: 13N15 53A55 13P10 PDFBibTeX XMLCite \textit{J. Liu} and \textit{F. Ni}, J. Symb. Comput. 104, 256--275 (2021; Zbl 1496.13041) Full Text: DOI
Mehta, Ranjana; Saha, Joydip; Sengupta, Indranath Moh’s example of algebroid space curves. (English) Zbl 1457.13027 J. Symb. Comput. 104, 168-182 (2021). MSC: 13C40 13P10 14H50 13D02 PDFBibTeX XMLCite \textit{R. Mehta} et al., J. Symb. Comput. 104, 168--182 (2021; Zbl 1457.13027) Full Text: DOI arXiv
Gasanova, Oleksandra Powers of monomial ideals and the Ratliff-Rush operation. (English) Zbl 1457.13006 J. Symb. Comput. 104, 69-89 (2021). MSC: 13A30 13F25 13P10 13F55 13A15 13F20 PDFBibTeX XMLCite \textit{O. Gasanova}, J. Symb. Comput. 104, 69--89 (2021; Zbl 1457.13006) Full Text: DOI
Sakamoto, Ryuichi Lexicographic and reverse lexicographic quadratic Gröbner bases of cut ideals. (English) Zbl 1457.13051 J. Symb. Comput. 103, 201-212 (2021). MSC: 13P10 13A70 05E40 PDFBibTeX XMLCite \textit{R. Sakamoto}, J. Symb. Comput. 103, 201--212 (2021; Zbl 1457.13051) Full Text: DOI arXiv
Aramideh, Nasibeh; Hashemi, Amir; Seiler, Werner M. Computing the resolution regularity of bi-homogeneous ideals. (English) Zbl 1506.13022 J. Symb. Comput. 103, 141-156 (2021). MSC: 13D02 13P10 68W30 PDFBibTeX XMLCite \textit{N. Aramideh} et al., J. Symb. Comput. 103, 141--156 (2021; Zbl 1506.13022) Full Text: DOI
Eder, Christian; Hofmann, Tommy Efficient Gröbner bases computation over principal ideal rings. (English) Zbl 1451.13078 J. Symb. Comput. 103, 1-13 (2021). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{C. Eder} and \textit{T. Hofmann}, J. Symb. Comput. 103, 1--13 (2021; Zbl 1451.13078) Full Text: DOI arXiv
Vaccon, Tristan; Verron, Thibaut; Yokoyama, Kazuhiro On affine tropical F5 algorithms. (English) Zbl 1450.14015 J. Symb. Comput. 102, 132-152 (2021). MSC: 14T10 13P10 14-04 PDFBibTeX XMLCite \textit{T. Vaccon} et al., J. Symb. Comput. 102, 132--152 (2021; Zbl 1450.14015) Full Text: DOI HAL
Eder, Christian; Pfister, Gerhard; Popescu, Adrian Standard bases over Euclidean domains. (English) Zbl 1444.13035 J. Symb. Comput. 102, 21-36 (2021). Reviewer: Monica La Barbiera (Messina) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{C. Eder} et al., J. Symb. Comput. 102, 21--36 (2021; Zbl 1444.13035) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{D. Kapur} et al., J. Symb. Comput. 102, 3--20 (2021; Zbl 1443.13023) Full Text: DOI
Berthomieu, Jérémy; Faugère, Jean-Charles In-depth comparison of the Berlekamp-Massey-Sakata and the Scalar-FGLM algorithms: the adaptive variants. (English) Zbl 1446.68201 J. Symb. Comput. 101, 270-303 (2020). MSC: 68W30 13P10 68W40 PDFBibTeX XMLCite \textit{J. Berthomieu} and \textit{J.-C. Faugère}, J. Symb. Comput. 101, 270--303 (2020; Zbl 1446.68201) Full Text: DOI arXiv
Arvanitoyeorgos, Andreas; Sakane, Yusuke; Statha, Marina Homogeneous Einstein metrics on Stiefel manifolds associated to flag manifolds with two isotropy summands. (English) Zbl 1455.53071 J. Symb. Comput. 101, 189-201 (2020). Reviewer: Vasyl Gorkaviy (Kharkov) MSC: 53C25 53C30 13P10 65H10 68W30 PDFBibTeX XMLCite \textit{A. Arvanitoyeorgos} et al., J. Symb. Comput. 101, 189--201 (2020; Zbl 1455.53071) Full Text: DOI arXiv
Petrović, Zoran Z.; Prvulović, Branislav I.; Radovanović, Marko Gröbner bases for (partial) flag manifolds. (English) Zbl 1451.13082 J. Symb. Comput. 101, 90-108 (2020). MSC: 13P10 14M15 68W30 PDFBibTeX XMLCite \textit{Z. Z. Petrović} et al., J. Symb. Comput. 101, 90--108 (2020; Zbl 1451.13082) Full Text: DOI
Horáček, Jan; Kreuzer, Martin On conversions from CNF to ANF. (English) Zbl 1432.68600 J. Symb. Comput. 100, 164-186 (2020). MSC: 68W30 06E30 13P10 68R07 94D10 PDFBibTeX XMLCite \textit{J. Horáček} and \textit{M. Kreuzer}, J. Symb. Comput. 100, 164--186 (2020; Zbl 1432.68600) Full Text: DOI
Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo Computing and using minimal polynomials. (English) Zbl 1468.13063 J. Symb. Comput. 100, 137-163 (2020). Reviewer: Jeremiah Johnson (Manchester) MSC: 13P25 13P10 13-04 14Q10 68W30 PDFBibTeX XMLCite \textit{J. Abbott} et al., J. Symb. Comput. 100, 137--163 (2020; Zbl 1468.13063) Full Text: DOI arXiv
Mora, Teo Zacharias representation of effective associative rings. (English) Zbl 1445.16044 J. Symb. Comput. 99, 147-188 (2020). MSC: 16Z05 13P10 PDFBibTeX XMLCite \textit{T. Mora}, J. Symb. Comput. 99, 147--188 (2020; Zbl 1445.16044) Full Text: DOI
Guo, Feng; Phạm, Ti’ên-Son On types of degenerate critical points of real polynomial functions. (English) Zbl 1451.13079 J. Symb. Comput. 99, 108-126 (2020). MSC: 13P10 14P10 65K05 68W30 PDFBibTeX XMLCite \textit{F. Guo} and \textit{T.-S. Phạm}, J. Symb. Comput. 99, 108--126 (2020; Zbl 1451.13079) Full Text: DOI arXiv
Nguefack, Bertrand; Pola, Emmanuel Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings. (English) Zbl 1470.13044 J. Symb. Comput. 99, 50-107 (2020). Reviewer: Michela Ceria (Milano) MSC: 13P10 68W30 13P15 16S36 PDFBibTeX XMLCite \textit{B. Nguefack} and \textit{E. Pola}, J. Symb. Comput. 99, 50--107 (2020; Zbl 1470.13044) Full Text: DOI
Hyun, Seung Gyu; Neiger, Vincent; Rahkooy, Hamid; Schost, Éric Block-Krylov techniques in the context of sparse-FGLM algorithms. (English) Zbl 1446.68203 J. Symb. Comput. 98, 163-191 (2020). MSC: 68W30 13P10 13P15 PDFBibTeX XMLCite \textit{S. G. Hyun} et al., J. Symb. Comput. 98, 163--191 (2020; Zbl 1446.68203) Full Text: DOI arXiv
Hashemi, Amir; Seiler, Werner M. Dimension and depth dependent upper bounds in polynomial ideal theory. (English) Zbl 1439.13076 J. Symb. Comput. 98, 47-64 (2020). MSC: 13P10 13A35 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{W. M. Seiler}, J. Symb. Comput. 98, 47--64 (2020; Zbl 1439.13076) Full Text: DOI
Hoffmann, Johannes; Levandovskyy, Viktor Constructive arithmetics in Ore localizations of domains. (English) Zbl 1441.16029 J. Symb. Comput. 98, 23-46 (2020). MSC: 16S85 16D80 68W30 PDFBibTeX XMLCite \textit{J. Hoffmann} and \textit{V. Levandovskyy}, J. Symb. Comput. 98, 23--46 (2020; Zbl 1441.16029) Full Text: DOI arXiv
Dana-Picard, Thierry An automated study of isoptic curves of an astroid. (English) Zbl 1444.68302 J. Symb. Comput. 97, 56-68 (2020). MSC: 68W30 13P10 68U05 68V15 PDFBibTeX XMLCite \textit{T. Dana-Picard}, J. Symb. Comput. 97, 56--68 (2020; Zbl 1444.68302) Full Text: DOI
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
Li, Yongbin; Fu, Qiuju; Deng, Renbin Symbolic computation on the partition lattice of an \(n\)-set. (English) Zbl 1445.13024 J. Symb. Comput. 95, 185-201 (2019). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{Y. Li} et al., J. Symb. Comput. 95, 185--201 (2019; Zbl 1445.13024) Full Text: DOI
Margolis, Leo On the prime graph question for integral group rings of Conway simple groups. (English) Zbl 1425.16018 J. Symb. Comput. 95, 162-176 (2019). MSC: 16S34 16U60 20C05 20C20 05E10 PDFBibTeX XMLCite \textit{L. Margolis}, J. Symb. Comput. 95, 162--176 (2019; Zbl 1425.16018) Full Text: DOI arXiv
Ceria, Michela; Mora, Teo; Roggero, Margherita A general framework for Noetherian well ordered polynomial reductions. (English) Zbl 1430.13043 J. Symb. Comput. 95, 100-133 (2019). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 14C05 14Q20 PDFBibTeX XMLCite \textit{M. Ceria} et al., J. Symb. Comput. 95, 100--133 (2019; Zbl 1430.13043) Full Text: DOI arXiv
Hubert, Evelyne Invariant algebraic sets and symmetrization of polynomial systems. (English) Zbl 1433.13004 J. Symb. Comput. 95, 53-67 (2019). Reviewer: Amir Hashemi (Isfahan) MSC: 13A50 68W30 13P10 PDFBibTeX XMLCite \textit{E. Hubert}, J. Symb. Comput. 95, 53--67 (2019; Zbl 1433.13004) Full Text: DOI HAL
Hemmecke, Ralf; Radu, Silviu Construction of all polynomial relations among Dedekind eta functions of level \(N\). (English) Zbl 1430.13046 J. Symb. Comput. 95, 39-52 (2019). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{R. Hemmecke} and \textit{S. Radu}, J. Symb. Comput. 95, 39--52 (2019; Zbl 1430.13046) Full Text: DOI
Bertone, Cristina; Cioffi, Francesca; Franco, Davide Functors of liftings of projective schemes. (English) Zbl 1440.14235 J. Symb. Comput. 94, 105-125 (2019). Reviewer: Noémie Combe (Leipzig) MSC: 14N05 13C40 13P10 14Q15 PDFBibTeX XMLCite \textit{C. Bertone} et al., J. Symb. Comput. 94, 105--125 (2019; Zbl 1440.14235) Full Text: DOI arXiv
Herzog, Jürgen; Qureshi, Ayesha Asloob; Saem, Maryam Mohammadi The fiber cone of a monomial ideal in two variables. (English) Zbl 1430.13047 J. Symb. Comput. 94, 52-69 (2019). Reviewer: Hero Saremi (Sanandaj) MSC: 13P10 05E40 13A02 13C14 13C15 13F55 13F20 68W30 PDFBibTeX XMLCite \textit{J. Herzog} et al., J. Symb. Comput. 94, 52--69 (2019; Zbl 1430.13047) Full Text: DOI arXiv
Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. (English) Zbl 1420.13058 J. Symb. Comput. 93, 200-220 (2019). MSC: 13J30 14P10 13P10 68W40 68W30 PDFBibTeX XMLCite \textit{V. Magron} et al., J. Symb. Comput. 93, 200--220 (2019; Zbl 1420.13058) Full Text: DOI arXiv HAL
Amata, Luca; Crupi, Marilena Computation of graded ideals with given extremal Betti numbers in a polynomial ring. (English) Zbl 1441.13023 J. Symb. Comput. 93, 120-132 (2019). MSC: 13B25 13D02 13F55 13F20 16W50 68W30 13P99 13-04 PDFBibTeX XMLCite \textit{L. Amata} and \textit{M. Crupi}, J. Symb. Comput. 93, 120--132 (2019; Zbl 1441.13023) Full Text: DOI
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
Rosenkranz, Markus; Serwa, Nitin An integro-differential structure for Dirac distributions. (English) Zbl 1428.12008 J. Symb. Comput. 92, 156-189 (2019). MSC: 12H20 12H05 13N10 PDFBibTeX XMLCite \textit{M. Rosenkranz} and \textit{N. Serwa}, J. Symb. Comput. 92, 156--189 (2019; Zbl 1428.12008) Full Text: DOI arXiv
Liu, Jinwang; Li, Dongmei; Liu, Weijun Some criteria for Gröbner bases and their applications. (English) Zbl 1409.13049 J. Symb. Comput. 92, 15-21 (2019). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 PDFBibTeX XMLCite \textit{J. Liu} et al., J. Symb. Comput. 92, 15--21 (2019; Zbl 1409.13049) Full Text: DOI
Marin, Ivan Proof of the BMR conjecture for \(G_{20}\) and \(G_{21}\). (English) Zbl 1502.20004 J. Symb. Comput. 92, 1-14 (2019). MSC: 20C08 20F55 13P10 PDFBibTeX XMLCite \textit{I. Marin}, J. Symb. Comput. 92, 1--14 (2019; Zbl 1502.20004) Full Text: DOI arXiv
Dimca, Alexandru; Sticlaru, Gabriel Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves. (English) Zbl 1416.32014 J. Symb. Comput. 91, 98-115 (2019). MSC: 32S40 32S22 32S55 PDFBibTeX XMLCite \textit{A. Dimca} and \textit{G. Sticlaru}, J. Symb. Comput. 91, 98--115 (2019; Zbl 1416.32014) Full Text: DOI arXiv
Ceria, Michela Bar code for monomial ideals. (English) Zbl 1423.13104 J. Symb. Comput. 91, 30-56 (2019). Reviewer: Eduardo Saenz-de-Cabezon (Logroño) MSC: 13F20 13P10 PDFBibTeX XMLCite \textit{M. Ceria}, J. Symb. Comput. 91, 30--56 (2019; Zbl 1423.13104) Full Text: DOI arXiv Link
Saha, Joydip; Sengupta, Indranath; Tripathi, Gaurab Ideals of the form \(I_{1}(XY)\). (English) Zbl 1422.13026 J. Symb. Comput. 91, 17-29 (2019). Reviewer: Juan C. Migliore (Notre Dame) MSC: 13P10 13C40 13D02 PDFBibTeX XMLCite \textit{J. Saha} et al., J. Symb. Comput. 91, 17--29 (2019; Zbl 1422.13026) Full Text: DOI arXiv
Vaccon, Tristan Matrix-F5 algorithms and tropical Gröbner bases computation. (English) Zbl 1435.13030 J. Symb. Comput. 89, 227-254 (2018). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 13P10 13F30 14T90 68W30 PDFBibTeX XMLCite \textit{T. Vaccon}, J. Symb. Comput. 89, 227--254 (2018; Zbl 1435.13030) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{K. Nabeshima} et al., J. Symb. Comput. 89, 146--170 (2018; Zbl 1428.13047) Full Text: DOI
Carvalho, Cícero; Chara, María; Quoos, Luciane On evaluation codes coming from a tower of function fields. (English) Zbl 1398.94210 J. Symb. Comput. 89, 121-128 (2018). MSC: 94B05 13P10 11G20 PDFBibTeX XMLCite \textit{C. Carvalho} et al., J. Symb. Comput. 89, 121--128 (2018; Zbl 1398.94210) Full Text: DOI
Wang, Haohao; Goldman, Ron Syzygies for translational surfaces. (English) Zbl 1404.14069 J. Symb. Comput. 89, 73-93 (2018). Reviewer: Noémie Combe (Marseille) MSC: 14Q05 13D02 14H50 13P10 68W30 65D17 PDFBibTeX XMLCite \textit{H. Wang} and \textit{R. Goldman}, J. Symb. Comput. 89, 73--93 (2018; Zbl 1404.14069) Full Text: DOI Link
Álvarez, Víctor; Armario, José Andrés; Falcón, Raúl M.; Frau, María Dolores; Gudiel, Félix Gröbner bases and cocyclic Hadamard matrices. (English) Zbl 1396.13024 J. Symb. Comput. 89, 26-40 (2018). MSC: 13P10 05B20 PDFBibTeX XMLCite \textit{V. Álvarez} et al., J. Symb. Comput. 89, 26--40 (2018; Zbl 1396.13024) Full Text: DOI arXiv
Coutinho, S. C. Bounding the degree of solutions of differential equations. (English) Zbl 1388.37059 J. Symb. Comput. 89, 9-25 (2018-2018). MSC: 37F75 34M45 13P10 32S65 11D04 PDFBibTeX XMLCite \textit{S. C. Coutinho}, J. Symb. Comput. 89, 9--25 (2018; Zbl 1388.37059) Full Text: DOI
Huang, Ming-Deh A.; Kosters, Michiel; Yang, Yun; Yeo, Sze Ling On the last fall degree of zero-dimensional Weil descent systems. (English) Zbl 1391.13052 J. Symb. Comput. 87, 207-226 (2018). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 13P15 68W30 94A60 PDFBibTeX XMLCite \textit{M.-D. A. Huang} et al., J. Symb. Comput. 87, 207--226 (2018; Zbl 1391.13052) Full Text: DOI arXiv
Fløystad, Gunnar; Kileel, Joe; Ottaviani, Giorgio The Chow form of the essential variety in computer vision. (English) Zbl 1380.68369 J. Symb. Comput. 86, 97-119 (2018). MSC: 68T45 13C14 13D02 14C05 14M12 14Q15 PDFBibTeX XMLCite \textit{G. Fløystad} et al., J. Symb. Comput. 86, 97--119 (2018; Zbl 1380.68369) Full Text: DOI arXiv
Hashemi, Amir; Schweinfurter, Michael; Seiler, Werner M. Deterministic genericity for polynomial ideals. (English) Zbl 1446.13021 J. Symb. Comput. 86, 20-50 (2018). Reviewer: Juan Rafael Sendra (Alcalá de Henares) MSC: 13P10 68W30 13-04 PDFBibTeX XMLCite \textit{A. Hashemi} et al., J. Symb. Comput. 86, 20--50 (2018; Zbl 1446.13021) Full Text: DOI arXiv
Francis, Maria; Dukkipati, Ambedkar On Gröbner bases and Krull dimension of residue class rings of polynomial rings over integral domains. (English) Zbl 1386.13071 J. Symb. Comput. 86, 1-19 (2018). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{M. Francis} and \textit{A. Dukkipati}, J. Symb. Comput. 86, 1--19 (2018; Zbl 1386.13071) Full Text: DOI arXiv Link
Hossein Poor, Jamal; Raab, Clemens G.; Regensburger, Georg Algorithmic operator algebras via normal forms in tensor rings. (English) Zbl 06789139 J. Symb. Comput. 85, 247-274 (2018). MSC: 47-XX 13P10 68W30 PDFBibTeX XMLCite \textit{J. Hossein Poor} et al., J. Symb. Comput. 85, 247--274 (2018; Zbl 06789139) Full Text: DOI
Levandovskyy, Viktor; Heinle, Albert A factorization algorithm for \(G\)-algebras and its applications. (English) Zbl 1387.13060 J. Symb. Comput. 85, 188-205 (2018). Reviewer: John Perry (Hattiesburg) MSC: 13P05 13P10 68W30 PDFBibTeX XMLCite \textit{V. Levandovskyy} and \textit{A. Heinle}, J. Symb. Comput. 85, 188--205 (2018; Zbl 1387.13060) Full Text: DOI
Gustavson, Richard; Ovchinnikov, Alexey; Pogudin, Gleb New order bounds in differential elimination algorithms. (English) Zbl 1379.68366 J. Symb. Comput. 85, 128-147 (2018). MSC: 68W30 12H20 13P10 68Q25 PDFBibTeX XMLCite \textit{R. Gustavson} et al., J. Symb. Comput. 85, 128--147 (2018; Zbl 1379.68366) Full Text: DOI arXiv
Sauer, Tomas Prony’s method in several variables: symbolic solutions by universal interpolation. (English) Zbl 1429.13016 J. Symb. Comput. 84, 95-112 (2018). MSC: 13P10 68W30 42A15 65T40 PDFBibTeX XMLCite \textit{T. Sauer}, J. Symb. Comput. 84, 95--112 (2018; Zbl 1429.13016) Full Text: DOI arXiv
Chenavier, Cyrille Reduction operators and completion of rewriting systems. (English) Zbl 1371.68136 J. Symb. Comput. 84, 57-83 (2018). MSC: 68Q42 13P10 PDFBibTeX XMLCite \textit{C. Chenavier}, J. Symb. Comput. 84, 57--83 (2018; Zbl 1371.68136) Full Text: DOI arXiv
Hong, Hoon; Hough, Zachary; Kogan, Irina A. Algorithm for computing \(\mu\)-bases of univariate polynomials. (English) Zbl 1429.13013 J. Symb. Comput. 80, Part 3, 844-874 (2017). MSC: 13D02 13P10 14Q05 68W30 PDFBibTeX XMLCite \textit{H. Hong} et al., J. Symb. Comput. 80, Part 3, 844--874 (2017; Zbl 1429.13013) Full Text: DOI arXiv
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
Gao, Xiao-Shan; Huang, Zhang; Yuan, Chun-Ming Binomial difference ideals. (English) Zbl 1404.13032 J. Symb. Comput. 80, Part 3, 665-706 (2017). MSC: 13P10 12H10 PDFBibTeX XMLCite \textit{X.-S. Gao} et al., J. Symb. Comput. 80, Part 3, 665--706 (2017; Zbl 1404.13032) Full Text: DOI arXiv
Faugère, Jean-Charles; Mou, Chenqi Sparse FGLM algorithms. (English) Zbl 1404.13031 J. Symb. Comput. 80, Part 3, 538-569 (2017). MSC: 13P10 68W30 65F50 PDFBibTeX XMLCite \textit{J.-C. Faugère} and \textit{C. Mou}, J. Symb. Comput. 80, Part 3, 538--569 (2017; Zbl 1404.13031) Full Text: DOI arXiv
Méndez González, José Martín Revealing regions of multiple steady states in heterogeneous catalytic chemical reaction networks using Gröbner basis. (English) Zbl 1405.92315 J. Symb. Comput. 80, Part 3, 521-537 (2017). MSC: 92E20 13P10 13P25 PDFBibTeX XMLCite \textit{J. M. Méndez González}, J. Symb. Comput. 80, Part 3, 521--537 (2017; Zbl 1405.92315) Full Text: DOI
Rodriguez, Jose Israel; Tang, Xiaoxian A probabilistic algorithm for computing data-discriminants of likelihood equations. (English) Zbl 1373.62090 J. Symb. Comput. 83, 342-364 (2017). MSC: 62F10 68W30 13P10 13P25 PDFBibTeX XMLCite \textit{J. I. Rodriguez} and \textit{X. Tang}, J. Symb. Comput. 83, 342--364 (2017; Zbl 1373.62090) Full Text: DOI arXiv
Markwig, Thomas; Ren, Yue Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t ]\!][x]\). (English) Zbl 1428.13046 J. Symb. Comput. 83, 315-341 (2017). Reviewer: John Perry (Hattiesburg) MSC: 13P10 13F25 16W60 12J25 68W30 PDFBibTeX XMLCite \textit{T. Markwig} and \textit{Y. Ren}, J. Symb. Comput. 83, 315--341 (2017; Zbl 1428.13046) Full Text: DOI arXiv