Ishihara, Yuki Efficient localization at a prime ideal without producing unnecessary primary components. (English) Zbl 07632798 Math. Comput. Sci. 16, No. 2-3, Paper No. 14, 18 p. (2022). MSC: 68W30 13Pxx PDFBibTeX XMLCite \textit{Y. Ishihara}, Math. Comput. Sci. 16, No. 2--3, Paper No. 14, 18 p. (2022; Zbl 07632798) Full Text: DOI
Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans Using semicontinuity for standard bases computations. (English) Zbl 07632792 Math. Comput. Sci. 16, No. 4, Paper No. 21, 11 p. (2022). MSC: 13P10 14B05 14Q20 PDFBibTeX XMLCite \textit{G.-M. Greuel} et al., Math. Comput. Sci. 16, No. 4, Paper No. 21, 11 p. (2022; Zbl 07632792) Full Text: DOI arXiv
Kovács, Zoltán Two almost-circles, and two real ones. (English) Zbl 07465804 Math. Comput. Sci. 15, No. 4, 789-801 (2021). MSC: 68-XX PDFBibTeX XMLCite \textit{Z. Kovács}, Math. Comput. Sci. 15, No. 4, 789--801 (2021; Zbl 07465804) Full Text: DOI arXiv
Nabeshima, Katsusuke; Tajima, Shinichi Testing zero-dimensionality of varieties at a point. (English) Zbl 1492.13037 Math. Comput. Sci. 15, No. 2, 317-331 (2021). MSC: 13P10 14H20 14Q10 PDFBibTeX XMLCite \textit{K. Nabeshima} and \textit{S. Tajima}, Math. Comput. Sci. 15, No. 2, 317--331 (2021; Zbl 1492.13037) Full Text: DOI arXiv
Imbach, Rémi; Pouget, Marc; Yap, Chee Clustering complex zeros of triangular systems of polynomials. (English) Zbl 1492.65136 Math. Comput. Sci. 15, No. 2, 271-292 (2021). MSC: 65H10 30C15 PDFBibTeX XMLCite \textit{R. Imbach} et al., Math. Comput. Sci. 15, No. 2, 271--292 (2021; Zbl 1492.65136) Full Text: DOI arXiv
Montes, Antonio Presentation of the book The Gröbner cover. (English) Zbl 1453.13083 Math. Comput. Sci. 14, No. 2, 471-482 (2020). MSC: 13P10 00A17 03B35 13F20 68V15 PDFBibTeX XMLCite \textit{A. Montes}, Math. Comput. Sci. 14, No. 2, 471--482 (2020; Zbl 1453.13083) Full Text: DOI
Falcón, Raúl M. Using a CAS/DGS to analyze computationally the configuration of planar bar linkage mechanisms based on partial Latin squares. (English) Zbl 1455.05014 Math. Comput. Sci. 14, No. 2, 375-389 (2020). MSC: 05B15 37N15 68W30 70B15 PDFBibTeX XMLCite \textit{R. M. Falcón}, Math. Comput. Sci. 14, No. 2, 375--389 (2020; Zbl 1455.05014) Full Text: DOI
Decker, Wolfram; Eder, Christian; Levandovskyy, Viktor; Tiwari, Sharwan K. Modular techniques for noncommutative Gröbner bases. (English) Zbl 1460.16053 Math. Comput. Sci. 14, No. 1, 19-33 (2020). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 16Z10 16-04 13P10 PDFBibTeX XMLCite \textit{W. Decker} et al., Math. Comput. Sci. 14, No. 1, 19--33 (2020; Zbl 1460.16053) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{K. Nabeshima} and \textit{S. Tajima}, Math. Comput. Sci. 13, No. 1--2, 185--194 (2019; Zbl 1474.13057) Full Text: DOI
Noro, Masayuki; Yokoyama, Kazuhiro Usage of modular techniques for efficient computation of ideal operations. (English) Zbl 1402.13026 Math. Comput. Sci. 12, No. 1, 1-32 (2018). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 PDFBibTeX XMLCite \textit{M. Noro} and \textit{K. Yokoyama}, Math. Comput. Sci. 12, No. 1, 1--32 (2018; Zbl 1402.13026) 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 PDFBibTeX XMLCite \textit{A. Hashemi} et al., Math. Comput. Sci. 11, No. 1, 61--77 (2017; Zbl 1409.68344) Full Text: DOI
Brunat, Josep M.; Montes, Antonio Computing the canonical representation of constructible sets. (English) Zbl 1365.13043 Math. Comput. Sci. 10, No. 1, 165-178 (2016). Reviewer: John Perry (Hattiesburg) MSC: 13P10 68T15 68W30 PDFBibTeX XMLCite \textit{J. M. Brunat} and \textit{A. Montes}, Math. Comput. Sci. 10, No. 1, 165--178 (2016; Zbl 1365.13043) Full Text: DOI Link
Andres, Daniel; Brickenstein, Michael; Levandovskyy, Viktor; Martín-Morales, Jorge; Schönemann, Hans Constructive \(D\)-module theory with Singular. (English) Zbl 1217.13011 Math. Comput. Sci. 4, No. 2-3, 359-383 (2010). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 13P10 14F10 68W30 32C38 PDFBibTeX XMLCite \textit{D. Andres} et al., Math. Comput. Sci. 4, No. 2--3, 359--383 (2010; Zbl 1217.13011) Full Text: DOI
Cheng, Jinsan; Lazard, Sylvain; Peñaranda, Luis; Pouget, Marc; Rouillier, Fabrice On the topology of real algebraic plane curves. (English) Zbl 1205.14038 Math. Comput. Sci. 4, No. 1, 113-137 (2010). MSC: 14H50 14P05 13P10 14F35 PDFBibTeX XMLCite \textit{J. Cheng} et al., Math. Comput. Sci. 4, No. 1, 113--137 (2010; Zbl 1205.14038) Full Text: DOI Link
Bulygin, Stanislav; Brickenstein, Michael Obtaining and solving systems of equations in key variables only for the small variants of AES. (English) Zbl 1205.94076 Math. Comput. Sci. 3, No. 2, 185-200 (2010). MSC: 94A60 13P10 13P15 PDFBibTeX XMLCite \textit{S. Bulygin} and \textit{M. Brickenstein}, Math. Comput. Sci. 3, No. 2, 185--200 (2010; Zbl 1205.94076) Full Text: DOI
Eibach, Tobias; Völkel, Gunnar; Pilz, Enrico Optimising Gröbner bases on Bivium. (English) Zbl 1205.94081 Math. Comput. Sci. 3, No. 2, 159-172 (2010). MSC: 94A60 13P10 13-04 PDFBibTeX XMLCite \textit{T. Eibach} et al., Math. Comput. Sci. 3, No. 2, 159--172 (2010; Zbl 1205.94081) Full Text: DOI