Murashka, Viachaslau I. Formations of finite groups in polynomial time: \(\mathfrak{F}\)-residuals and \(\mathfrak{F}\)-subnormality. (English) Zbl 07783992 J. Symb. Comput. 122, Article ID 102271, 13 p. (2024). MSC: 20D10 20E26 20D25 PDFBibTeX XMLCite \textit{V. I. Murashka}, J. Symb. Comput. 122, Article ID 102271, 13 p. (2024; Zbl 07783992) Full Text: DOI arXiv
Holt, Derek; Yang, Yong Regular orbits of finite primitive solvable groups, the final classification. (English) Zbl 1511.20040 J. Symb. Comput. 116, 139-145 (2023). Reviewer: Jack Saunders (Perth) MSC: 20C20 20C15 PDFBibTeX XMLCite \textit{D. Holt} and \textit{Y. Yang}, J. Symb. Comput. 116, 139--145 (2023; Zbl 1511.20040) Full Text: DOI arXiv
Kemper, Gregor Computing quotients by connected solvable groups. (English) Zbl 1471.14097 J. Symb. Comput. 109, 426-440 (2022). MSC: 14L24 13A50 14L30 14Q20 13P99 PDFBibTeX XMLCite \textit{G. Kemper}, J. Symb. Comput. 109, 426--440 (2022; Zbl 1471.14097) Full Text: DOI HAL
Bors, Alexander Computation of orders and cycle lengths of automorphisms of finite solvable groups. (English) Zbl 1490.20021 J. Symb. Comput. 108, 117-136 (2022). Reviewer: Grigore Călugăreanu (Cluj-Napoca) MSC: 20D45 20F05 20D10 20-08 PDFBibTeX XMLCite \textit{A. Bors}, J. Symb. Comput. 108, 117--136 (2022; Zbl 1490.20021) Full Text: DOI arXiv
Edwards, John; Krome, Cameron; Payne, Tracy L. Computation of positively graded filiform nilpotent Lie algebras in low dimensions. (English) Zbl 1472.17044 J. Symb. Comput. 108, 73-90 (2022). Reviewer: Andrea Caranti (Trento) MSC: 17B30 17B70 PDFBibTeX XMLCite \textit{J. Edwards} et al., J. Symb. Comput. 108, 73--90 (2022; Zbl 1472.17044) Full Text: DOI
Benito, Pilar; de-la-Concepción, Daniel; Roldán-López, Jorge; Sesma, Iciar Quadratic 2-step Lie algebras: computational algorithms and classification. (English) Zbl 1423.68613 J. Symb. Comput. 94, 70-89 (2019). MSC: 17-08 68W30 17B10 17B30 PDFBibTeX XMLCite \textit{P. Benito} et al., J. Symb. Comput. 94, 70--89 (2019; Zbl 1423.68613) Full Text: DOI arXiv
Ali, Sajid; Azad, Hassan; Biswas, Indranil; Ghanam, Ryad; Mustafa, M. T. Embedding algorithms and applications to differential equations. (English) Zbl 1432.17002 J. Symb. Comput. 86, 166-188 (2018). MSC: 17-08 17B45 17B30 17B81 35A30 68W30 PDFBibTeX XMLCite \textit{S. Ali} et al., J. Symb. Comput. 86, 166--188 (2018; Zbl 1432.17002) Full Text: DOI arXiv
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
Nikolaev, Andrey; Ushakov, Alexander Subset sum problem in polycyclic groups. (English) Zbl 1375.20040 J. Symb. Comput. 84, 84-94 (2018). MSC: 20F10 20F18 20F16 03D15 68Q17 PDFBibTeX XMLCite \textit{A. Nikolaev} and \textit{A. Ushakov}, J. Symb. Comput. 84, 84--94 (2018; Zbl 1375.20040) Full Text: DOI arXiv
Požar, Rok Some computational aspects of solvable regular covers of graphs. (English) Zbl 1310.05175 J. Symb. Comput. 70, 1-13 (2015). MSC: 05C70 05C25 20B25 PDFBibTeX XMLCite \textit{R. Požar}, J. Symb. Comput. 70, 1--13 (2015; Zbl 1310.05175) Full Text: DOI
Detinko, A. S.; Flannery, D. L.; de Graaf, W. A. Integrality and arithmeticity of solvable linear groups. (English) Zbl 1309.20044 J. Symb. Comput. 68, Part 1, 138-145 (2015). Reviewer: L. N. Vaserstein (University Park) MSC: 20H20 20-04 68W30 22E40 PDFBibTeX XMLCite \textit{A. S. Detinko} et al., J. Symb. Comput. 68, Part 1, 138--145 (2015; Zbl 1309.20044) Full Text: DOI arXiv Link
Kadioglu, Hülya; Payne, Tracy L. Computational methods for nilsoliton metric Lie algebras. I. (English) Zbl 1303.17001 J. Symb. Comput. 50, 350-373 (2013). MSC: 17-08 17B30 PDFBibTeX XMLCite \textit{H. Kadioglu} and \textit{T. L. Payne}, J. Symb. Comput. 50, 350--373 (2013; Zbl 1303.17001) Full Text: DOI
Assmann, Björn; Eick, Bettina Computing polycyclic presentations for polycyclic rational matrix groups. (English) Zbl 1124.20306 J. Symb. Comput. 40, No. 6, 1269-1284 (2005). MSC: 20G20 20F16 20F05 20-04 68W30 20E07 20F10 PDFBibTeX XMLCite \textit{B. Assmann} and \textit{B. Eick}, J. Symb. Comput. 40, No. 6, 1269--1284 (2005; Zbl 1124.20306) Full Text: DOI
Cannon, John J.; Holt, Derek F.; Slattery, Michael; Steel, Allan K. Computing subgroups of bounded index in a finite group. (English) Zbl 1124.20014 J. Symb. Comput. 40, No. 2, 1013-1022 (2005). MSC: 20D30 68W30 20D10 20E45 20B40 20-04 PDFBibTeX XMLCite \textit{J. J. Cannon} et al., J. Symb. Comput. 40, No. 2, 1013--1022 (2005; Zbl 1124.20014) Full Text: DOI
Cannon, John J.; Eick, Bettina; Leedham-Green, Charles R. Special polycyclic generating sequences for finite soluble groups. (English) Zbl 1125.20304 J. Symb. Comput. 38, No. 5, 1445-1460 (2004). MSC: 20D10 20F05 20D30 20-04 68W30 PDFBibTeX XMLCite \textit{J. J. Cannon} et al., J. Symb. Comput. 38, No. 5, 1445--1460 (2005; Zbl 1125.20304) Full Text: DOI
Cannon, John; Holt, Derek F. Computing maximal subgroups of finite groups. (English) Zbl 1125.20306 J. Symb. Comput. 37, No. 5, 589-609 (2004). MSC: 20D25 20D10 20D40 20E28 20-04 20B40 68W30 PDFBibTeX XMLCite \textit{J. Cannon} and \textit{D. F. Holt}, J. Symb. Comput. 37, No. 5, 589--609 (2004; Zbl 1125.20306) Full Text: DOI
Clausen, M.; Müller, M. Generating fast Fourier transforms of solvable groups. (English) Zbl 1052.65122 J. Symb. Comput. 37, No. 2, 137-156 (2004). Reviewer: Karel Najzar (Praha) MSC: 65T50 65Y20 PDFBibTeX XMLCite \textit{M. Clausen} and \textit{M. Müller}, J. Symb. Comput. 37, No. 2, 137--156 (2004; Zbl 1052.65122) Full Text: DOI
Baines, Rosemary; Vámos, Peter An algorithm to compute the set of characteristics of a system of polynomial equations over the integers. (English) Zbl 1058.13015 J. Symb. Comput. 35, No. 3, 269-279 (2003). Reviewer: Mihai Cipu (Bucureşti) MSC: 13P10 13-04 11Y05 13F20 PDFBibTeX XMLCite \textit{R. Baines} and \textit{P. Vámos}, J. Symb. Comput. 35, No. 3, 269--279 (2003; Zbl 1058.13015) Full Text: DOI
Püschel, Markus Decomposing monomial representations of solvable groups. (English) Zbl 1033.20012 J. Symb. Comput. 34, No. 6, 561-596 (2002). MSC: 20C40 20C15 43A65 20D10 65T50 PDFBibTeX XMLCite \textit{M. Püschel}, J. Symb. Comput. 34, No. 6, 561--596 (2002; Zbl 1033.20012) Full Text: DOI
Gebhardt, Volker Efficient collection in infinite polycyclic groups. (English) Zbl 1043.20018 J. Symb. Comput. 34, No. 3, 213-228 (2002). MSC: 20F16 20-04 20F05 68W30 PDFBibTeX XMLCite \textit{V. Gebhardt}, J. Symb. Comput. 34, No. 3, 213--228 (2002; Zbl 1043.20018) Full Text: DOI
Eick, Bettina Orbit-stabilizer problems and computing normalizers for polycyclic groups. (English) Zbl 1050.20020 J. Symb. Comput. 34, No. 1, 1-19 (2002). MSC: 20F16 20-04 20E07 20F14 68W30 PDFBibTeX XMLCite \textit{B. Eick}, J. Symb. Comput. 34, No. 1, 1--19 (2002; Zbl 1050.20020) Full Text: DOI
Eick, Bettina; Wright, Charles R. B. Computing subgroups by exhibition in finite solvable groups. (English) Zbl 0995.20004 J. Symb. Comput. 33, No. 2, 129-143 (2002). MSC: 20D10 68W30 20-04 PDFBibTeX XMLCite \textit{B. Eick} and \textit{C. R. B. Wright}, J. Symb. Comput. 33, No. 2, 129--143 (2002; Zbl 0995.20004) Full Text: DOI Link
Höfling, Burkhard Computing projectors, injectors, residuals and radicals of finite soluble groups. (English) Zbl 0990.20008 J. Symb. Comput. 32, No. 5, 499-511 (2001). Reviewer: Alexander Hulpke (Fort Collins) MSC: 20D10 68W30 20-04 PDFBibTeX XMLCite \textit{B. Höfling}, J. Symb. Comput. 32, No. 5, 499--511 (2001; Zbl 0990.20008) Full Text: DOI
Slattery, Michael C. Computing double cosets in soluble groups. (English) Zbl 0987.20007 J. Symb. Comput. 31, No. 1-2, 179-192 (2001). Reviewer: N.M.Kurnosenko (Gomel) MSC: 20D10 20-04 68W30 PDFBibTeX XMLCite \textit{M. C. Slattery}, J. Symb. Comput. 31, No. 1--2, 179--192 (2001; Zbl 0987.20007) Full Text: DOI
Lo, Eddie H.; Ostheimer, Gretchen A practical algorithm for finding matrix representations for polycyclic groups. (English) Zbl 0977.20026 J. Symb. Comput. 28, No. 3, 339-360 (1999). MSC: 20F16 68W30 20-04 20F05 20G05 20F10 20G20 20F18 PDFBibTeX XMLCite \textit{E. H. Lo} and \textit{G. Ostheimer}, J. Symb. Comput. 28, No. 3, 339--360 (1999; Zbl 0977.20026) Full Text: DOI Link
Ostheimer, Gretchen Practical algorithms for polycyclic matrix groups. (English) Zbl 0977.20024 J. Symb. Comput. 28, No. 3, 361-379 (1999). MSC: 20F10 68W30 20-04 20F05 20G05 20G20 20F16 PDFBibTeX XMLCite \textit{G. Ostheimer}, J. Symb. Comput. 28, No. 3, 361--379 (1999; Zbl 0977.20024) Full Text: DOI Link
Hendriks, Peter A.; Singer, Michael F. Solving difference equations in finite terms. (English) Zbl 0930.39004 J. Symb. Comput. 27, No. 3, 239-259 (1999). Reviewer: V.I.Tkachenko (Kyïv) MSC: 39A10 12H10 68W30 PDFBibTeX XMLCite \textit{P. A. Hendriks} and \textit{M. F. Singer}, J. Symb. Comput. 27, No. 3, 239--259 (1999; Zbl 0930.39004) Full Text: DOI Link
Hulpke, Alexander Computing subgroups invariant under a set of automorphisms. (English) Zbl 0943.20019 J. Symb. Comput. 27, No. 4, 415-427 (1999). Reviewer: A.J.Goodman (Rolla) MSC: 20D30 68W30 20D10 20E45 PDFBibTeX XMLCite \textit{A. Hulpke}, J. Symb. Comput. 27, No. 4, 415--427 (1999; Zbl 0943.20019) Full Text: DOI Link
Besche, Hans Ulrich; Eick, Bettina The groups of order at most 1000 except 512 and 768. (English) Zbl 0922.20002 J. Symb. Comput. 27, No. 4, 405-413 (1999). Reviewer: A.Hulpke (St.Andrews) MSC: 20-04 20D10 PDFBibTeX XMLCite \textit{H. U. Besche} and \textit{B. Eick}, J. Symb. Comput. 27, No. 4, 405--413 (1999; Zbl 0922.20002) Full Text: DOI
Besche, Hans Ulrich; Eick, Bettina Construction of finite groups. (English) Zbl 0922.20001 J. Symb. Comput. 27, No. 4, 387-404 (1999). Reviewer: A.Hulpke (St.Andrews) MSC: 20-04 20D10 20D25 PDFBibTeX XMLCite \textit{H. U. Besche} and \textit{B. Eick}, J. Symb. Comput. 27, No. 4, 387--404 (1999; Zbl 0922.20001) Full Text: DOI
Apel, Joachim A Gröbner approach to involutive bases. (English) Zbl 0857.13027 J. Symb. Comput. 19, No. 5, 441-457 (1995). Reviewer: A.Dickenstein (Buenos Aires) MSC: 13P10 68Q25 16Z05 PDFBibTeX XMLCite \textit{J. Apel}, J. Symb. Comput. 19, No. 5, 441--457 (1995; Zbl 0857.13027) Full Text: DOI
Niemeyer, Alice C. A finite soluble quotient algorithm. (English) Zbl 0844.20002 J. Symb. Comput. 18, No. 6, 541-561 (1994). Reviewer: J.Neubüser (Aachen) MSC: 20-04 20F05 20F16 20F14 68W30 PDFBibTeX XMLCite \textit{A. C. Niemeyer}, J. Symb. Comput. 18, No. 6, 541--561 (1994; Zbl 0844.20002) Full Text: DOI arXiv
Lucchini, Andrea; Menegazzo, Federico Computing a set of generators of minimal cardinality in a solvable group. (English) Zbl 0830.20003 J. Symb. Comput. 17, No. 5, 409-420 (1994). Reviewer: M.Deaconescu (Safat) MSC: 20-04 20D10 68W30 20F05 PDFBibTeX XMLCite \textit{A. Lucchini} and \textit{F. Menegazzo}, J. Symb. Comput. 17, No. 5, 409--420 (1994; Zbl 0830.20003) Full Text: DOI
Leedham-Green, Charles R.; Praeger, Cheryl E.; Soicher, Leonard H. Computing with group homomorphisms. (English) Zbl 0789.20001 J. Symb. Comput. 12, No. 4-5, 527-532 (1991). Reviewer: J.Neubüser (Aachen) MSC: 20-04 20F05 20F16 20E36 20B40 PDFBibTeX XMLCite \textit{C. R. Leedham-Green} et al., J. Symb. Comput. 12, No. 4--5, 527--532 (1991; Zbl 0789.20001) Full Text: DOI
Kantor, William M. Finding composition factors of permutation groups of degree \(n\leq 10^ 6\). (English) Zbl 0792.20003 J. Symb. Comput. 12, No. 4-5, 517-526 (1991). MSC: 20B40 20F14 20D10 20D30 PDFBibTeX XMLCite \textit{W. M. Kantor}, J. Symb. Comput. 12, No. 4--5, 517--526 (1991; Zbl 0792.20003) Full Text: DOI
Epstein, D. B. A.; Holt, D. F.; Rees, S. E. The use of Knuth-Bendix methods to solve the word problem in automatic groups. (English) Zbl 0779.20017 J. Symb. Comput. 12, No. 4-5, 397-414 (1991). Reviewer: S.R.Kogalovskij (Ivanovo) MSC: 20F10 68W30 20E06 20F05 20F65 PDFBibTeX XMLCite \textit{D. B. A. Epstein} et al., J. Symb. Comput. 12, No. 4--5, 397--414 (1991; Zbl 0779.20017) Full Text: DOI
Conlon, S. B. Computing modular and projective character degrees of soluble groups. (English) Zbl 0733.20006 J. Symb. Comput. 9, No. 5-6, 551-570 (1990). Reviewer: N.Backhouse (Liverpool) MSC: 20C40 20C20 20C25 20D10 20D60 PDFBibTeX XMLCite \textit{S. B. Conlon}, J. Symb. Comput. 9, No. 5--6, 551--570 (1990; Zbl 0733.20006) Full Text: DOI
Leedham-Green, Charles R.; Soicher, L. H. Collection from the left and other strategies. (English) Zbl 0726.20001 J. Symb. Comput. 9, No. 5-6, 665-675 (1990). Reviewer: J.Neubüser (Aachen) MSC: 20-04 20F12 20D15 20D10 68Q25 20F14 PDFBibTeX XMLCite \textit{C. R. Leedham-Green} and \textit{L. H. Soicher}, J. Symb. Comput. 9, No. 5--6, 665--675 (1990; Zbl 0726.20001) Full Text: DOI
Havas, George; Newman, M. F.; Vaughan-Lee, M. R. A nilpotent quotient algorithm for graded Lie rings. (English) Zbl 0716.17001 J. Symb. Comput. 9, No. 5-6, 653-664 (1990). Reviewer: E.Khukhro MSC: 17-08 17B01 17B30 17B50 20F40 68W30 20F50 PDFBibTeX XMLCite \textit{G. Havas} et al., J. Symb. Comput. 9, No. 5--6, 653--664 (1990; Zbl 0716.17001) Full Text: DOI
Kandri-Rody, A.; Weispfenning, Volker Non-commutative Gröbner bases in algebras of solvable type. (English) Zbl 0715.16010 J. Symb. Comput. 9, No. 1, 1-26 (1990). Reviewer: D.Krob MSC: 16S36 68W30 13P10 16S32 16S10 16-04 03D40 PDFBibTeX XMLCite \textit{A. Kandri-Rody} and \textit{V. Weispfenning}, J. Symb. Comput. 9, No. 1, 1--26 (1990; Zbl 0715.16010) Full Text: DOI
Glasby, S. P.; Slattery, Michael C. Computing intersections and normalizers in soluble groups. (English) Zbl 0707.20001 J. Symb. Comput. 9, No. 5-6, 637-651 (1990). Reviewer: U.Schoenwaelder MSC: 20-04 20D25 20D10 68W30 20B40 20F05 PDFBibTeX XMLCite \textit{S. P. Glasby} and \textit{M. C. Slattery}, J. Symb. Comput. 9, No. 5--6, 637--651 (1990; Zbl 0707.20001) Full Text: DOI
Sims, Charles C. Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm. (English) Zbl 0703.20029 J. Symb. Comput. 9, No. 5-6, 707-723 (1990). Reviewer: C.G.Chehata MSC: 20F05 20-04 68W30 20F10 20F16 PDFBibTeX XMLCite \textit{C. C. Sims}, J. Symb. Comput. 9, No. 5--6, 707--723 (1990; Zbl 0703.20029) Full Text: DOI
Sims, Charles C. Computing the order of a solvable permutation group. (English) Zbl 0701.20001 J. Symb. Comput. 9, No. 5-6, 699-705 (1990). Reviewer: J.Neubüser MSC: 20B40 20F05 20F16 68W30 20-04 20B05 PDFBibTeX XMLCite \textit{C. C. Sims}, J. Symb. Comput. 9, No. 5--6, 699--705 (1990; Zbl 0701.20001) Full Text: DOI
Glasby, S. P. Intersecting subgroups of finite soluble groups. (English) Zbl 0654.20002 J. Symb. Comput. 5, No. 3, 295-301 (1988). Reviewer: U.Schoenwaelder MSC: 20-04 20D10 20F05 68W30 20D30 20D15 PDFBibTeX XMLCite \textit{S. P. Glasby}, J. Symb. Comput. 5, No. 3, 295--301 (1988; Zbl 0654.20002) Full Text: DOI
Glasby, S. P. Constructing normalisers in finite soluble groups. (English) Zbl 0654.20001 J. Symb. Comput. 5, No. 3, 285-294 (1988). MSC: 20-04 20D10 20F05 68W30 20D30 20D15 PDFBibTeX XMLCite \textit{S. P. Glasby}, J. Symb. Comput. 5, No. 3, 285--294 (1988; Zbl 0654.20001) Full Text: DOI
Plesken, Wilhelm Towards a soluble quotient algorithm. (English) Zbl 0635.20013 J. Symb. Comput. 4, 111-122 (1987). Reviewer: M.F.Newman MSC: 20F05 20-04 20F16 20C07 20C20 PDFBibTeX XMLCite \textit{W. Plesken}, J. Symb. Comput. 4, 111--122 (1987; Zbl 0635.20013) Full Text: DOI