Charles C. Sims

• Computation with finitely presented groups
• Abstract algebra
• Computation with finitely presented groups
• A CLASSLIB user's manual