Implementing the Baumslag-Cannonito-Miller Polycyclic Quotient Algorithm (0)

by C Sims
Venue:Journal of Symbolic Computation