Software:

• ANU Sq    (ANU Soluble Quotient Algorithm)

The ANU Sq computes a power conjugate presentation for a finite soluble quotient of a finitely presented group.
It is implemented in C and runs under most Unix based operating systems.
 
• ANU Quotient Algorithms

The ANU Quotient algorithms are described in more detail on this page.