• About me
• Project abstract
• Pull requests
• Merged
• Implementation of an automaton for word reduction:
• Computation of isomorphism between 2 given groups
• Modified Todd-Coxeter methods
• Compute map from subgroup to parent group
• Unmerged
• Quotient methods
• Polycyclic groups and presentations
• Future Work
• Conclusion