Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm
type: Item
instance of: scholarly article
title: Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm
zbMATH Open document ID: 0703.20029
DOI: 10.1016/S0747-7171(08)80084-3
author: Charles C. Sims
published in: Journal of Symbolic Computation
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20-04
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 20F16
zbMATH DE Number: 4152692
zbMATH Keywords: computer implementation
zbMATH Keywords: algorithm
zbMATH Keywords: polycyclic quotients
zbMATH Keywords: finitely presented group
zbMATH Keywords: Gröbner bases
zbMATH Keywords: nilpotent quotients
describes a project that uses: Algorithm 628
MaRDI profile type: Publication
cites work: Some recognizable properties of solvable groups
cites work: Computable algebra and group embeddings
cites work: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
cites work: Q3336682
cites work: Q3714165
cites work: Q3798768
cites work: Free differential calculus. IV: The quotient groups of the lower central series
cites work: Hermite Normal Form Computation Using Modulo Determinant Arithmetic
cites work: Q3869534
cites work: Q4193604
cites work: Q3661791
cites work: Q3223036
cites work: Towards a soluble quotient algorithm
cites work: Constructive Aspects of Noetherian Rings
cites work: Some algorithmic problems for solvable groups
cites work: Q3663506
cites work: Verifying nilpotence
cites work: Q4285784
cites work: Q3679379
cites work: Q4133821
cites work: A p-adic approach to the computation of Gröbner bases
cites work: Algorithm 628
cites work: Q3256242
description: scientific article; zbMATH DE number 4152692