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
Moreno Maza, Marc; Wang, Linxiao Computing the integer hull of convex polyhedral sets. (English) Zbl 1507.14083 Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 246-267 (2022). Reviewer: Amir Hashemi (Isfahan) MSC: 14Q65 13P10 65H14 52B55 68W30 PDFBibTeX XMLCite \textit{M. Moreno Maza} and \textit{L. Wang}, Lect. Notes Comput. Sci. 13366, 246--267 (2022; Zbl 1507.14083) Full Text: DOI
Yang, Jing; Yap, Chee K. On \(\mu\)-symmetric polynomials. (English) Zbl 1506.12001 J. Algebra Appl. 21, No. 12, Article ID 2250233, 33 p. (2022). MSC: 12-08 68W30 05E05 13P10 PDFBibTeX XMLCite \textit{J. Yang} and \textit{C. K. Yap}, J. Algebra Appl. 21, No. 12, Article ID 2250233, 33 p. (2022; Zbl 1506.12001) Full Text: DOI arXiv
Bu, A. J. A combinatorial approach to the Groebner bases for ideals generated by elementary symmetric functions. (English) Zbl 1492.05156 Electron. J. Comb. 29, No. 3, Research Paper P3.4, 12 p. (2022). MSC: 05E05 13P10 PDFBibTeX XMLCite \textit{A. J. Bu}, Electron. J. Comb. 29, No. 3, Research Paper P3.4, 12 p. (2022; Zbl 1492.05156) Full Text: DOI arXiv
Görlach, Paul; Ren, Yue; Zhang, Leon Computing zero-dimensional tropical varieties via projections. (English) Zbl 07548100 Comput. Complexity 31, No. 1, Paper No. 5, 33 p. (2022). MSC: 14T10 13P10 13P15 68W30 PDFBibTeX XMLCite \textit{P. Görlach} et al., Comput. Complexity 31, No. 1, Paper No. 5, 33 p. (2022; Zbl 07548100) Full Text: DOI arXiv
Bertone, Cristina; Cioffi, Francesca The close relation between border and Pommaret marked bases. (English) Zbl 07513922 Collect. Math. 73, No. 2, 181-201 (2022). MSC: 13P10 14C05 14Q20 PDFBibTeX XMLCite \textit{C. Bertone} and \textit{F. Cioffi}, Collect. Math. 73, No. 2, 181--201 (2022; Zbl 07513922) Full Text: DOI arXiv
Xiao, Fanghui; Lu, Dong; Wang, Dingkang Solving multivariate polynomial matrix Diophantine equations with Gröbner basis method. (English) Zbl 1483.11265 J. Syst. Sci. Complex. 35, No. 1, 413-426 (2022). MSC: 11Y50 13P10 PDFBibTeX XMLCite \textit{F. Xiao} et al., J. Syst. Sci. Complex. 35, No. 1, 413--426 (2022; Zbl 1483.11265) Full Text: DOI
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
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
Fajardo, William Right Buchberger algorithm over bijective skew PBW extensions. (English) Zbl 1484.16055 Fundam. Inform. 184, No. 2, 83-105 (2021). MSC: 16Z05 16S36 PDFBibTeX XMLCite \textit{W. Fajardo}, Fundam. Inform. 184, No. 2, 83--105 (2021; Zbl 1484.16055) Full Text: DOI arXiv
Hashemi, Amir; Izgin, Thomas; Robertz, Daniel; Seiler, Werner M. An involutive GVW algorithm and the computation of Pommaret bases. (English) Zbl 1505.13039 Math. Comput. Sci. 15, No. 3, 419-452 (2021). Reviewer: Cristina Bertone (Torino) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{A. Hashemi} et al., Math. Comput. Sci. 15, No. 3, 419--452 (2021; Zbl 1505.13039) Full Text: DOI
Gutnik, S. A.; Sarychev, V. A. Symbolic-analytic methods for studying equilibrium orientations of a satellite on a circular orbit. (English. Russian original) Zbl 1476.70083 Program. Comput. Softw. 47, No. 2, 119-123 (2021); translation from Programmirovanie 47, No. 2, 28-33 (2021). MSC: 70M20 70G55 13P10 68W30 PDFBibTeX XMLCite \textit{S. A. Gutnik} and \textit{V. A. Sarychev}, Program. Comput. Softw. 47, No. 2, 119--123 (2021; Zbl 1476.70083); translation from Programmirovanie 47, No. 2, 28--33 (2021) Full Text: DOI
Horigome, Noriyuki; Terui, Akira; Mikawa, Masahiko A design and an implementation of an inverse kinematics computation in robotics using Gröbner bases. (English) Zbl 1503.68313 Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 3-13 (2020). MSC: 68W30 13P10 70B15 PDFBibTeX XMLCite \textit{N. Horigome} et al., Lect. Notes Comput. Sci. 12097, 3--13 (2020; Zbl 1503.68313) Full Text: DOI
Hashemi, Amir; Javanbakht, Masoumeh Computing H-bases via minimal bases for syzygy modules. (English) Zbl 1465.13024 Linear Multilinear Algebra 68, No. 7, 1277-1301 (2020). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{M. Javanbakht}, Linear Multilinear Algebra 68, No. 7, 1277--1301 (2020; Zbl 1465.13024) Full Text: DOI
Batkhin, A. B. Bifurcations of periodic solutions of a Hamiltonian system with a discrete symmetry group. (English. Russian original) Zbl 1459.37042 Program. Comput. Softw. 46, No. 2, 84-97 (2020); translation from Programmirovanie 46, No. 2, 14-29 (2020). MSC: 37J20 37J46 37J11 65P30 70H33 68W30 PDFBibTeX XMLCite \textit{A. B. Batkhin}, Program. Comput. Softw. 46, No. 2, 84--97 (2020; Zbl 1459.37042); translation from Programmirovanie 46, No. 2, 14--29 (2020) Full Text: DOI
Bremner, Murray; Dotsenko, Vladimir Distributive laws between the operads Lie and Com. (English) Zbl 1458.18010 Int. J. Algebra Comput. 30, No. 8, 1565-1576 (2020). Reviewer: Udhayakumar Ramalingam (Vellore) MSC: 18M60 13C10 13N15 13P10 15A54 15A69 16S37 17A30 17A50 17B60 17B63 68W30 PDFBibTeX XMLCite \textit{M. Bremner} and \textit{V. Dotsenko}, Int. J. Algebra Comput. 30, No. 8, 1565--1576 (2020; Zbl 1458.18010) Full Text: DOI arXiv
Hashemi, Amir; Kreuzer, Martin; Pourkhajouei, Samira Computing coupled border bases. (English) Zbl 1454.13048 Math. Comput. Sci. 14, No. 1, 123-140 (2020). MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{A. Hashemi} et al., Math. Comput. Sci. 14, No. 1, 123--140 (2020; Zbl 1454.13048) Full Text: DOI
Hashemi, Amir; Javanbakht, Masoumeh; Sharifan, Leila Refined algorithm to compute minimal H-bases. (English) Zbl 1524.13079 Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. 62(110), No. 3, 277-294 (2019). Reviewer: Pasha Zusmanovich (Ostrava) MSC: 13P10 13D02 68W30 PDFBibTeX XMLCite \textit{A. Hashemi} et al., Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. 62(110), No. 3, 277--294 (2019; Zbl 1524.13079)
Bremner, Murray; Markl, Martin Distributive laws between the Three Graces. (English) Zbl 1448.18029 Theory Appl. Categ. 34, 1317-1342 (2019). Reviewer: Donald Yau (Newark) MSC: 18M70 16S37 16-XX 17Bxx 17B63 PDFBibTeX XMLCite \textit{M. Bremner} and \textit{M. Markl}, Theory Appl. Categ. 34, 1317--1342 (2019; Zbl 1448.18029) Full Text: arXiv Link
M.-Alizadeh, Benyamin; Basiri, Abdolali; Rahmany, Sajjad Applying Gröbner basis method to multiparametric polynomial nonlinear programming. (English) Zbl 1423.13149 Bull. Iran. Math. Soc. 45, No. 6, 1585-1603 (2019). MSC: 13P25 13P10 90C30 PDFBibTeX XMLCite \textit{B. M. -Alizadeh} et al., Bull. Iran. Math. Soc. 45, No. 6, 1585--1603 (2019; Zbl 1423.13149) Full Text: DOI
Hashemi, Amir; Parnian, Hossein; Seiler, Werner M. Nœther bases and their applications. (English) Zbl 1430.13045 Bull. Iran. Math. Soc. 45, No. 5, 1283-1301 (2019). Reviewer: Francesca Cioffi (Napoli) MSC: 13P10 13F20 14Q20 68W30 PDFBibTeX XMLCite \textit{A. Hashemi} et al., Bull. Iran. Math. Soc. 45, No. 5, 1283--1301 (2019; Zbl 1430.13045) Full Text: DOI
Hajnová, Veronika; Přibylová, Lenka Bifurcation manifolds in predator-prey models computed by Gröbner basis method. (English) Zbl 1451.92253 Math. Biosci. 312, 1-7 (2019). MSC: 92D25 13P25 13P10 34C23 37G10 37M20 65P30 PDFBibTeX XMLCite \textit{V. Hajnová} and \textit{L. Přibylová}, Math. Biosci. 312, 1--7 (2019; Zbl 1451.92253) Full Text: DOI
Fajardo, William A computational Maple library for skew PBW extensions. (English) Zbl 1416.68216 Fundam. Inform. 167, No. 3, 159-191 (2019). MSC: 68W30 16S36 PDFBibTeX XMLCite \textit{W. Fajardo}, Fundam. Inform. 167, No. 3, 159--191 (2019; Zbl 1416.68216) Full Text: DOI
Lu, Dong; Wang, Dingkang; Xiao, Fanghui; Zhou, Jie Extending the GVW algorithm to local ring. (English) Zbl 1467.13049 Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 271-278 (2018). MSC: 13P10 68W05 PDFBibTeX XMLCite \textit{D. Lu} et al., in: Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16--19, 2018. New York, NY: Association for Computing Machinery (ACM). 271--278 (2018; Zbl 1467.13049) Full Text: DOI
Fakouri, Shahnaz; Rahmany, Sajjad; Basiri, Abdolali A new algorithm for computing regular representations for radicals of parametric differential ideals. (English) Zbl 1438.12004 Cogent Math. Stat. 5, Article ID 1507131, 21 p. (2018). MSC: 12H05 13P10 68W30 PDFBibTeX XMLCite \textit{S. Fakouri} et al., Cogent Math. Stat. 5, Article ID 1507131, 21 p. (2018; Zbl 1438.12004) Full Text: DOI
Buchberger, Bruno Gröbner bases computation by triangularizing Macaulay matrices. (English) Zbl 1458.13029 Hibi, Takayuki (ed.), The 50th anniversary of Gröbner bases. Proceedings of the 8th Mathematical Society of Japan-Seasonal Institute (MSJ-SI 2015), Osaka, Japan, July 1–10, 2015. Tokyo: Mathematical Society of Japan (MSJ). Adv. Stud. Pure Math. 77, 25-33 (2018). MSC: 13P10 33F10 13-04 PDFBibTeX XMLCite \textit{B. Buchberger}, Adv. Stud. Pure Math. 77, 25--33 (2018; Zbl 1458.13029)
Binaei, Bentolhoda; Hashemi, Amir; Seiler, Werner M. Computation of Pommaret bases using syzygies. (English) Zbl 1453.13075 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 51-66 (2018). MSC: 13P10 13D02 68W30 PDFBibTeX XMLCite \textit{B. Binaei} et al., Lect. Notes Comput. Sci. 11077, 51--66 (2018; Zbl 1453.13075) Full Text: DOI arXiv
Lewis, Robert H. Resultants, implicit parameterizations, and intersections of surfaces. (English) Zbl 1395.68346 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 310-318 (2018). MSC: 68W30 13P10 13P15 68U05 68U07 PDFBibTeX XMLCite \textit{R. H. Lewis}, Lect. Notes Comput. Sci. 10931, 310--318 (2018; Zbl 1395.68346) Full Text: DOI
Lewis, Robert H. Image analysis: identification of objects via polynomial systems. (English) Zbl 1395.68269 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 305-309 (2018). MSC: 68T45 13P10 13P15 68W30 PDFBibTeX XMLCite \textit{R. H. Lewis}, Lect. Notes Comput. Sci. 10931, 305--309 (2018; Zbl 1395.68269) Full Text: DOI
Hashemi, Amir; Dehghani Darmian, Mahdi; Barkhordar, Marzieh Universal Gröbner basis for parametric polynomial ideals. (English) Zbl 1395.13027 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 191-199 (2018). MSC: 13P10 PDFBibTeX XMLCite \textit{A. Hashemi} et al., Lect. Notes Comput. Sci. 10931, 191--199 (2018; Zbl 1395.13027) 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
Gutnik, S. A.; Sarychev, V. A. Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. (English. Russian original) Zbl 1455.70013 Program. Comput. Softw. 43, No. 2, 90-97 (2017); translation from Programmirovanie 43, No. 2, 35-44 (2017). MSC: 70M20 68W30 70-08 13P10 PDFBibTeX XMLCite \textit{S. A. Gutnik} and \textit{V. A. Sarychev}, Program. Comput. Softw. 43, No. 2, 90--97 (2017; Zbl 1455.70013); translation from Programmirovanie 43, No. 2, 35--44 (2017) Full Text: DOI
Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel A prototype of a RBES for personalized menus generation. (English) Zbl 1426.68259 Appl. Math. Comput. 315, 615-624 (2017). MSC: 68T35 13P10 13P25 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Appl. Math. Comput. 315, 615--624 (2017; Zbl 1426.68259) Full Text: DOI
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
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
Böhm, Janko; Decker, Wolfram; Laplagne, Santiago; Pfister, Gerhard Local to global algorithms for the Gorenstein adjoint ideal of a curve. (English) Zbl 1402.14076 Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 51-96 (2017). MSC: 14Q05 14H20 14H50 68W10 14-04 13P10 PDFBibTeX XMLCite \textit{J. Böhm} et al., in: Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer. 51--96 (2017; Zbl 1402.14076) 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 PDFBibTeX XMLCite \textit{A. Hashemi} et al., Comput. Sci. J. Mold. 25, No. 3(75), 278--302 (2017; Zbl 1390.68779) Full Text: Link
Minimair, Manfred Computing the Dixon resultant with the Maple package DR. (English) Zbl 1388.68319 Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 273-287 (2017). MSC: 68W30 13P10 15A15 PDFBibTeX XMLCite \textit{M. Minimair}, Springer Proc. Math. Stat. 198, 273--287 (2017; Zbl 1388.68319) Full Text: DOI
Lewis, Robert H. Dixon-EDF: the premier method for solution of parametric polynomial systems. (English) Zbl 1393.68192 Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 237-256 (2017). MSC: 68W30 13P10 13P15 PDFBibTeX XMLCite \textit{R. H. Lewis}, Springer Proc. Math. Stat. 198, 237--256 (2017; Zbl 1393.68192) Full Text: DOI
Fürst, Christoph; Levin, Alexander Relative reduction and Buchberger’s algorithm in filtered free modules. (English) Zbl 1388.13055 Math. Comput. Sci. 11, No. 3-4, 329-339 (2017). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 12H05 12H10 68W30 PDFBibTeX XMLCite \textit{C. Fürst} and \textit{A. Levin}, Math. Comput. Sci. 11, No. 3--4, 329--339 (2017; Zbl 1388.13055) Full Text: DOI
Kudo, Momonari; Harashita, Shushi Superspecial curves of genus 4 in small characteristic. (English) Zbl 1404.11089 Finite Fields Appl. 45, 131-169 (2017). MSC: 11G20 13P10 14G05 14H40 14Q05 68W30 PDFBibTeX XMLCite \textit{M. Kudo} and \textit{S. Harashita}, Finite Fields Appl. 45, 131--169 (2017; Zbl 1404.11089) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. Dehghani Darmian} and \textit{A. Hashemi}, J. Symb. Comput. 82, 38--56 (2017; Zbl 1359.13030) Full Text: DOI
Monceur, Samiha; Yengui, Ihsen Suslin’s lemma for rings containing an infinite field. (English) Zbl 1365.13046 Colloq. Math. 146, No. 1, 111-122 (2017). Reviewer: John Perry (Hattiesburg) MSC: 13P10 13P15 14Q20 68W30 PDFBibTeX XMLCite \textit{S. Monceur} and \textit{I. Yengui}, Colloq. Math. 146, No. 1, 111--122 (2017; Zbl 1365.13046) Full Text: DOI
Hernando, Antonio; Maestre-Martínez, Roberto; Roanes-Lozano, Eugenio A natural language for implementing algebraically expert systems. (English) Zbl 1524.68368 Math. Comput. Simul. 129, 31-49 (2016). MSC: 68T35 68W30 PDFBibTeX XMLCite \textit{A. Hernando} et al., Math. Comput. Simul. 129, 31--49 (2016; Zbl 1524.68368) Full Text: DOI
Dong, Tian A two-dimensional improvement for Farr-Gao algorithm. (English) Zbl 1386.13070 J. Syst. Sci. Complex. 29, No. 5, 1382-1399 (2016). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{T. Dong}, J. Syst. Sci. Complex. 29, No. 5, 1382--1399 (2016; Zbl 1386.13070) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{R. Fukasaku} et al., ACM Commun. Comput. Algebra 50, No. 3, 101--104 (2016; Zbl 1365.68488) Full Text: DOI
Binaei, Bentolhoda; Hashemi, Amir; Seiler, Werner M. Improved computation of involutive bases. (English) Zbl 1453.13074 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 58-72 (2016). MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{B. Binaei} et al., Lect. Notes Comput. Sci. 9890, 58--72 (2016; Zbl 1453.13074) Full Text: DOI arXiv
Bremner, Murray R.; Dotsenko, Vladimir Algebraic operads. An algorithmic companion. (English) Zbl 1350.18001 Boca Raton, FL: CRC Press (ISBN 978-1-4822-4856-2/hbk; 978-1-4822-4857-9/ebook). xvii, 365 p. (2016). Reviewer: Loïc Foissy (Calais) MSC: 18-02 18D50 55P48 16S15 13P10 PDFBibTeX XMLCite \textit{M. R. Bremner} and \textit{V. Dotsenko}, Algebraic operads. An algorithmic companion. Boca Raton, FL: CRC Press (2016; Zbl 1350.18001) Full Text: DOI
Bertone, Cristina; Cioffi, Francesca; Guida, Margherita; Roggero, Margherita The scheme of liftings and applications. (English) Zbl 1408.13071 J. Pure Appl. Algebra 220, No. 1, 34-54 (2016). MSC: 13P10 14B10 14M05 PDFBibTeX XMLCite \textit{C. Bertone} et al., J. Pure Appl. Algebra 220, No. 1, 34--54 (2016; Zbl 1408.13071) Full Text: DOI arXiv
Huang, Guanli; Zhou, Meng Termination of algorithm for computing relative Gröbner bases and difference differential dimension polynomials. (English) Zbl 1326.12003 Front. Math. China 10, No. 3, 635-648 (2015). MSC: 12H05 12H10 13P10 PDFBibTeX XMLCite \textit{G. Huang} and \textit{M. Zhou}, Front. Math. China 10, No. 3, 635--648 (2015; Zbl 1326.12003) Full Text: DOI
Cox, David A.; Little, John; O’Shea, Donal Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. 4th revised ed. (English) Zbl 1335.13001 Undergraduate Texts in Mathematics. Cham: Springer (ISBN 978-3-319-16720-6/hbk; 978-3-319-16721-3/ebook). xvi, 646 p. (2015). Reviewer: Peter Schenzel (Halle) MSC: 13-02 14-02 13P10 14Qxx 13F20 PDFBibTeX XMLCite \textit{D. A. Cox} et al., Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. 4th revised ed. Cham: Springer (2015; Zbl 1335.13001) Full Text: DOI Backlinks: MO
Boroujeni, Marziyeh; Basiri, Abdolali; Rahmany, Sajjad; Valibouze, Annick \(\mathrm{F}_4\)-invariant algorithm for computing SAGBI-Gröbner bases. (English) Zbl 1318.68202 Theor. Comput. Sci. 573, 54-62 (2015). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{M. Boroujeni} et al., Theor. Comput. Sci. 573, 54--62 (2015; Zbl 1318.68202) Full Text: DOI
La Scala, Roberto Gröbner bases and gradings for partial difference ideals. (English) Zbl 1328.12014 Math. Comput. 84, No. 292, 959-985 (2015). MSC: 12H10 13P10 PDFBibTeX XMLCite \textit{R. La Scala}, Math. Comput. 84, No. 292, 959--985 (2015; Zbl 1328.12014) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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
Afzal, Deeba; Janjua, Faira Kanwal; Pfister, Gerhard; Steidel, Stefan Solving via modular methods. (English) Zbl 1328.13037 Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 1-9 (2014). MSC: 13P10 PDFBibTeX XMLCite \textit{D. Afzal} et al., Springer Proc. Math. Stat. 96, 1--9 (2014; Zbl 1328.13037) Full Text: DOI arXiv
La Scala, Roberto Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms. (English) Zbl 1329.16039 Int. J. Algebra Comput. 24, No. 8, 1157-1182 (2014). Reviewer: Chen Yuqun (Guangzhou) MSC: 16Z05 13P10 16-04 68W30 16S10 16W50 PDFBibTeX XMLCite \textit{R. La Scala}, Int. J. Algebra Comput. 24, No. 8, 1157--1182 (2014; Zbl 1329.16039) Full Text: DOI arXiv
Robertz, Daniel Formal algorithmic elimination for PDEs. (English) Zbl 1339.35007 Lecture Notes in Mathematics 2121. Cham: Springer (ISBN 978-3-319-11444-6/pbk; 978-3-319-11445-3/ebook). viii, 283 p. (2014). Reviewer: Werner M. Seiler (Kassel) MSC: 35-02 12H05 13P10 16E05 16S36 35-04 68W30 PDFBibTeX XMLCite \textit{D. Robertz}, Formal algorithmic elimination for PDEs. Cham: Springer (2014; Zbl 1339.35007) Full Text: DOI
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu SyNRAC: a toolbox for solving real algebraic constraints. (English) Zbl 1437.13005 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 518-522 (2014). MSC: 13-04 14Q30 13P10 68W30 PDFBibTeX XMLCite \textit{H. Iwane} et al., Lect. Notes Comput. Sci. 8592, 518--522 (2014; Zbl 1437.13005) Full Text: DOI
Botana, Francisco; Recio, Tomás Using Maple’s RegularChains library to automatically classify plane geometric loci. (English) Zbl 1437.13043 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 500-503 (2014). MSC: 13P10 13P25 14Q65 65D18 PDFBibTeX XMLCite \textit{F. Botana} and \textit{T. Recio}, Lect. Notes Comput. Sci. 8592, 500--503 (2014; Zbl 1437.13043) Full Text: DOI Link
Hashemi, Amir; Touraji, Zahra An improvement of Rosenfeld-Gröbner algorithm. (English) Zbl 1434.13001 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 466-471 (2014). MSC: 13-04 13P10 13N15 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{Z. Touraji}, Lect. Notes Comput. Sci. 8592, 466--471 (2014; Zbl 1434.13001) Full Text: DOI Backlinks: MO
England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H. Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting. (English) Zbl 1437.14008 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 458-465 (2014). MSC: 14-04 14Q65 13P10 68W30 PDFBibTeX XMLCite \textit{M. England} et al., Lect. Notes Comput. Sci. 8592, 458--465 (2014; Zbl 1437.14008) Full Text: DOI arXiv
Chen, Zhenghong; Tang, Xiaoxian; Xia, Bican Hierarchical comprehensive triangular decomposition. (English) Zbl 1434.13026 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 434-441 (2014). MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{Z. Chen} et al., Lect. Notes Comput. Sci. 8592, 434--441 (2014; Zbl 1434.13026) Full Text: DOI arXiv
Liu, Y. Jane; Peddieson, John Application of Groebner basis methodology to nonlinear mechanics problems. (English) Zbl 1437.13007 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 398-405 (2014). MSC: 13-04 13P10 13P25 14Q65 74B20 74H45 74F05 68W30 PDFBibTeX XMLCite \textit{Y. J. Liu} and \textit{J. Peddieson}, Lect. Notes Comput. Sci. 8592, 398--405 (2014; Zbl 1437.13007) Full Text: DOI
Hashemi, Amir Effective computation of radical of ideals and its application to invariant theory. (English) Zbl 1437.13004 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 382-389 (2014). MSC: 13-04 13P10 13A50 68W30 PDFBibTeX XMLCite \textit{A. Hashemi}, Lect. Notes Comput. Sci. 8592, 382--389 (2014; Zbl 1437.13004) Full Text: DOI
Buchberger, Bruno; Maletzky, Alexander Groebner bases in Theorema. (English) Zbl 1437.13009 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 374-381 (2014). MSC: 13-11 68V15 68W30 13-04 13P10 PDFBibTeX XMLCite \textit{B. Buchberger} and \textit{A. Maletzky}, Lect. Notes Comput. Sci. 8592, 374--381 (2014; Zbl 1437.13009) Full Text: DOI
Gerdt, Vladimir P.; Hashemi, Amir On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases. (English. Russian original) Zbl 1323.68600 Program. Comput. Softw. 39, No. 2, 81-90 (2013); translation from Programmirovanie 39, No. 2 (2013). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{V. P. Gerdt} and \textit{A. Hashemi}, Program. Comput. Softw. 39, No. 2, 81--90 (2013; Zbl 1323.68600); translation from Programmirovanie 39, No. 2 (2013) Full Text: DOI
Nakayama, Hiromasa; Nishiyama, Kenta Examples and exercises. (English) Zbl 1306.13016 Hibi, Takayuki (ed.), Gröbner bases. Statistics and software systems. Transl. from the Japanese. Tokyo: Springer (ISBN 978-4-431-54573-6/hbk; 978-4-431-54574-3/ebook). 345-466 (2013). MSC: 13P10 13-04 PDFBibTeX XMLCite \textit{H. Nakayama} and \textit{K. Nishiyama}, in: Gröbner bases. Statistics and software systems. Transl. from the Japanese. Tokyo: Springer. 345--466 (2013; Zbl 1306.13016) Full Text: DOI
Hashemi, Amir; M.-Alizadeh, Benyamin Computing minimal polynomial of matrices over algebraic extension fields. (English) Zbl 1299.65075 Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. 56(104), No. 2, 217-228 (2013). MSC: 65F30 13P10 15A21 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{B. M. -Alizadeh}, Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. 56(104), No. 2, 217--228 (2013; Zbl 1299.65075)
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
Hashemi, Amir; M.-Alizadeh, Benyamin; Riahi, Monireh Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases. (English) Zbl 1281.13018 Sci. China, Math. 56, No. 9, 1781-1794 (2013). Reviewer: Thomas Kahle (Magdeburg) MSC: 13P10 68W30 13A50 PDFBibTeX XMLCite \textit{A. Hashemi} et al., Sci. China, Math. 56, No. 9, 1781--1794 (2013; Zbl 1281.13018) Full Text: DOI
Hibi, Takayuki (ed.) Gröbner bases. Statistics and software systems. Transl. from the Japanese. (English) Zbl 1282.13003 Tokyo: Springer (ISBN 978-4-431-54573-6/hbk; 978-4-431-54574-3/ebook). xv, 474 p. (2013). MSC: 13-06 13P10 13D40 13P25 52B20 12H05 00B15 PDFBibTeX XMLCite \textit{T. Hibi} (ed.), Gröbner bases. Statistics and software systems. Transl. from the Japanese. Tokyo: Springer (2013; Zbl 1282.13003) Full Text: DOI
Hashemi, Amir; Alvandi, Parisa Applying Buchberger’s criteria for computing Gröbner bases over finite-chain rings. (English) Zbl 1281.13017 J. Algebra Appl. 12, No. 7, Article ID 1350034, 15 p. (2013). Reviewer: Markus Kriegl (Passau) MSC: 13P10 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{P. Alvandi}, J. Algebra Appl. 12, No. 7, Article ID 1350034, 15 p. (2013; Zbl 1281.13017) Full Text: DOI
Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong Computing with semi-algebraic sets: relaxation techniques and effective boundaries. (English) Zbl 1277.13021 J. Symb. Comput. 52, 72-96 (2013). Reviewer: Michela Ceria (Turin) MSC: 13M10 13P10 13-04 PDFBibTeX XMLCite \textit{C. Chen} et al., J. Symb. Comput. 52, 72--96 (2013; Zbl 1277.13021) Full Text: DOI
Jin, Meng; Li, Xiaoliang; Wang, Dongming A new algorithmic scheme for computing characteristic sets. (English) Zbl 1255.13001 J. Symb. Comput. 50, 431-449 (2013). MSC: 13-04 13P10 PDFBibTeX XMLCite \textit{M. Jin} et al., J. Symb. Comput. 50, 431--449 (2013; Zbl 1255.13001) Full Text: DOI arXiv
Gerdt, Vladimir P.; Robertz, Daniel Computation of difference Gröbner bases. (English) Zbl 1318.68203 Comput. Sci. J. Mold. 20, No. 2(59), 203-226 (2012). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{V. P. Gerdt} and \textit{D. Robertz}, Comput. Sci. J. Mold. 20, No. 2(59), 203--226 (2012; Zbl 1318.68203) Full Text: arXiv
Vasil’ev, O. O. Study of \(D\)-decompositions by the methods of computational real-valued algebraic geometry. (English. Russian original) Zbl 1268.93032 Autom. Remote Control 73, No. 12, 1978-1993 (2012); translation from Avtom. Telemekh. 2012, No. 12, 36-55 (2012). MSC: 93B11 93B27 PDFBibTeX XMLCite \textit{O. O. Vasil'ev}, Autom. Remote Control 73, No. 12, 1978--1993 (2012; Zbl 1268.93032); translation from Avtom. Telemekh. 2012, No. 12, 36--55 (2012) Full Text: DOI arXiv
Aghasi, Mansour; M.-Alizadeh, Benyamin; Merker, Joël; Sabzevari, Masoud A Gröbner-bases algorithm for the computation of the cohomology of Lie (super) algebras. (English) Zbl 1323.17018 Adv. Appl. Clifford Algebr. 22, No. 4, 911-937 (2012). MSC: 17B56 17-08 13P10 PDFBibTeX XMLCite \textit{M. Aghasi} et al., Adv. Appl. Clifford Algebr. 22, No. 4, 911--937 (2012; Zbl 1323.17018) Full Text: DOI arXiv Link
Bruno, A. D.; Batkhin, A. B. Resolution of an algebraic singularity by power geometry algorithms. (English. Russian original) Zbl 1253.13022 Program. Comput. Softw. 38, No. 2, 57-72 (2012); translation from Programmirovanie 38, No. 2 (2012). MSC: 13P10 14E15 PDFBibTeX XMLCite \textit{A. D. Bruno} and \textit{A. B. Batkhin}, Program. Comput. Softw. 38, No. 2, 57--72 (2012; Zbl 1253.13022); translation from Programmirovanie 38, No. 2 (2012) Full Text: DOI
Gerdt, Vladimir; Hashemi, Amir Comprehensive involutive systems. (English) Zbl 1373.13027 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32972-2/pbk). Lecture Notes in Computer Science 7442, 98-116 (2012). MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{V. Gerdt} and \textit{A. Hashemi}, Lect. Notes Comput. Sci. 7442, 98--116 (2012; Zbl 1373.13027) Full Text: DOI arXiv
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. (English) Zbl 1250.65104 Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 273-331 (2012). MSC: 65L10 34B05 13P10 54J05 45P05 68W30 PDFBibTeX XMLCite \textit{M. Rosenkranz} et al., in: Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer. 273--331 (2012; Zbl 1250.65104) Full Text: DOI arXiv
Dönch, Christian; Winkler, Franz Bivariate difference-differential dimension polynomials and their computation in Maple. (English) Zbl 1245.13021 Egri-Nagy, Attila (ed.) et al., Proceedings of the 8th international conference on applied informatics (ICAI 2010), Eger, Hungary, January 27–30, 2010. 2 Volumes. Eger: BVB Nyomda és Kiadó Kft. (ISBN 978-963-9894-72-3/pbk). 221-228 (2012). MSC: 13P10 13-04 68W30 13N10 12H05 12H10 PDFBibTeX XMLCite \textit{C. Dönch} and \textit{F. Winkler}, in: Proceedings of the 8th international conference on applied informatics (ICAI 2010), Eger, Hungary, January 27--30, 2010. 2 Volumes. Eger: BVB Nyomda és Kiadó Kft.. 221--228 (2012; Zbl 1245.13021)
Raab, Clemens G. Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions. (English) Zbl 1255.68313 J. Symb. Comput. 47, No. 10, 1290-1296 (2012). Reviewer: John Perry (Hattiesburg) MSC: 68W30 13P10 30E20 12F20 12H05 PDFBibTeX XMLCite \textit{C. G. Raab}, J. Symb. Comput. 47, No. 10, 1290--1296 (2012; Zbl 1255.68313) Full Text: DOI
Buchberger, Bruno; Rosenkranz, Markus Transforming problems from analysis to algebra: a case study in linear boundary problems. (English) Zbl 1241.65066 J. Symb. Comput. 47, No. 6, 589-609 (2012). MSC: 65L10 34B05 34L05 65M99 68W30 13P10 PDFBibTeX XMLCite \textit{B. Buchberger} and \textit{M. Rosenkranz}, J. Symb. Comput. 47, No. 6, 589--609 (2012; Zbl 1241.65066) Full Text: DOI
Hashemi, Amir; M.-Alizadeh, Benyamin Using Gröbner bases for factoring polynomials over algebraic extension fields. (English) Zbl 1242.13033 J. Algebra Appl. 11, No. 1, Article ID 1250003, 9 p. (2012). Reviewer: Vilmar Trevisan (Porto Alegre) MSC: 13P10 13P05 68W30 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{B. M. -Alizadeh}, J. Algebra Appl. 11, No. 1, Article ID 1250003, 9 p. (2012; Zbl 1242.13033) Full Text: DOI
Hernando, Antonio A new algebraic model for implementing expert systems represented under the ‘concept-attribute-value’ paradigm. (English) Zbl 1246.68227 Math. Comput. Simul. 82, No. 1, 29-43 (2011). Reviewer: Neli Zlatareva (New Britain, CT) MSC: 68T35 68T30 PDFBibTeX XMLCite \textit{A. Hernando}, Math. Comput. Simul. 82, No. 1, 29--43 (2011; Zbl 1246.68227) Full Text: DOI
Díaz Varela, J. P.; López Martinolich, B. F. Resolution of algebraic systems of equations in the variety of cyclic Post algebras. (English) Zbl 1259.06012 Stud. Log. 98, No. 1-2, 307-330 (2011). MSC: 06D25 03G20 68W30 PDFBibTeX XMLCite \textit{J. P. Díaz Varela} and \textit{B. F. López Martinolich}, Stud. Log. 98, No. 1--2, 307--330 (2011; Zbl 1259.06012) Full Text: DOI
Hashemi, Amir; M.-Alizadeh, Benyamin Applying IsRewritten criterion on Buchberger algorithm. (English) Zbl 1221.68299 Theor. Comput. Sci. 412, No. 35, 4592-4603 (2011). MSC: 68W30 68-04 13P10 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{B. M. -Alizadeh}, Theor. Comput. Sci. 412, No. 35, 4592--4603 (2011; Zbl 1221.68299) Full Text: DOI
Grégoire, Benjamin; Pottier, Loïc; Théry, Laurent Proof certificates for algebra and their application to automatic geometry theorem proving. (English) Zbl 1302.68242 Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 42-59 (2011). MSC: 68T15 13P10 PDFBibTeX XMLCite \textit{B. Grégoire} et al., Lect. Notes Comput. Sci. 6301, 42--59 (2011; Zbl 1302.68242) Full Text: DOI Link
Wang, Guanjun; Zhao, Ying; Wang, Maoli A high level synthesis optimization approach based on Gröbner basis over finite field. (Chinese. English summary) Zbl 1240.12009 J. Harbin Inst. Technol. 42, No. 7, 1153-1157 (2010). MSC: 12Y05 12L05 13P10 PDFBibTeX XMLCite \textit{G. Wang} et al., J. Harbin Inst. Technol. 42, No. 7, 1153--1157 (2010; Zbl 1240.12009)
Abłamowicz, Rafał Some applications of Gröbner bases in robotics and engineering. (English) Zbl 1214.68405 Bayro-Corrochano, Eduardo (ed.) et al., Geometric algebra computing in engineering and computer science. London: Springer (ISBN 978-1-84996-107-3/hbk; 978-1-84882-914-5/ebook). 495-517 (2010). MSC: 68T40 68U05 13P10 PDFBibTeX XMLCite \textit{R. Abłamowicz}, in: Geometric algebra computing in engineering and computer science. London: Springer. 495--517 (2010; Zbl 1214.68405) Full Text: DOI
Abłamowicz, Rafał Computation of non-commutative Gröbner bases in Grassmann and Clifford algebras. (English) Zbl 1200.13043 Adv. Appl. Clifford Algebr. 20, No. 3-4, 447-476 (2010). MSC: 13P10 PDFBibTeX XMLCite \textit{R. Abłamowicz}, Adv. Appl. Clifford Algebr. 20, No. 3--4, 447--476 (2010; Zbl 1200.13043) Full Text: DOI
Wang, Xiaoying; Zhang, Shugong; Dong, Tian A bivariate preprocessing paradigm for the Buchberger-Möller algorithm. (English) Zbl 1203.13031 J. Comput. Appl. Math. 234, No. 12, 3344-3355 (2010). Reviewer: Gabor Hegedüs (Linz) MSC: 13P10 65D05 12Y05 PDFBibTeX XMLCite \textit{X. Wang} et al., J. Comput. Appl. Math. 234, No. 12, 3344--3355 (2010; Zbl 1203.13031) Full Text: DOI arXiv
Roanes-Lozano, Eugenio; Laita, Luis M.; Hernando, Antonio; Roanes-Macías, Eugenio An algebraic approach to rule based expert systems. (English) Zbl 1197.68078 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 104, No. 1, 19-40 (2010). MSC: 68T35 68W30 13P10 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 104, No. 1, 19--40 (2010; Zbl 1197.68078) Full Text: DOI
Roanes-Lozano, Eugenio; van Labeke, Nicolas; Roanes-Macías, Eugenio Connecting the 3D DGS Calques3D with the CAS Maple. (English) Zbl 1207.68450 Math. Comput. Simul. 80, No. 6, 1153-1176 (2010). MSC: 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Math. Comput. Simul. 80, No. 6, 1153--1176 (2010; Zbl 1207.68450) Full Text: DOI Link
Gerhard, Jürgen; Jeffrey, D. J.; Moroz, Guillaume A package for solving parametric polynomial systems. (English) Zbl 1322.68281 ACM Commun. Comput. Algebra 43, No. 3, 61-72 (2009). MSC: 68W30 13P10 65H10 PDFBibTeX XMLCite \textit{J. Gerhard} et al., ACM Commun. Comput. Algebra 43, No. 3, 61--72 (2009; Zbl 1322.68281) Full Text: DOI
Malešević, Branko; Obradović, Marija An application of Groebner bases to planarity of intersection of surfaces. (English) Zbl 1249.14018 Filomat 23, No. 2, 43-55 (2009). Reviewer: Mirjana Đorić (Beograd) MSC: 14N05 13P10 PDFBibTeX XMLCite \textit{B. Malešević} and \textit{M. Obradović}, Filomat 23, No. 2, 43--55 (2009; Zbl 1249.14018) Full Text: DOI arXiv
Roanes-Lozano, Eugenio; Hernando, Antonio; Laita, Luis M.; Roanes-Macías, Eugenio A Groebner bases-based approach to backward reasoning in rule based expert systems. (English) Zbl 1184.68494 Ann. Math. Artif. Intell. 56, No. 3-4, 297-311 (2009). MSC: 68T35 03B05 13P10 03B80 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Ann. Math. Artif. Intell. 56, No. 3--4, 297--311 (2009; Zbl 1184.68494) Full Text: DOI
Černá, Dana; Finěk, Václav Construction of orthonormal wavelets using symbolic algebraic methods. (English) Zbl 1179.42028 Simos, Theodore E. (ed.) et al., Numerical analysis and applied mathematics. International conference on numerical analysis and applied mathematics, Rethymno, Crete, Greece, September 18–22, 2009. Vol. 2. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0708-4/hbk; 978-0-7354-0709-1/set). AIP Conference Proceedings 1168, 2, 1333-1336 (2009). MSC: 42C40 68W30 13P10 PDFBibTeX XMLCite \textit{D. Černá} and \textit{V. Finěk}, AIP Conf. Proc. 1168, 1333--1336 (2009; Zbl 1179.42028) Full Text: DOI