• About Me
• Personal Info
• Personal Background
• Technical Background
• Courses opted at university
• Previous Projects
• Patch Requirement
• The project
• Abstract
• Implementation
• Implementation of an automaton for word reduction
• Isomorphism between two groups
• Implementation of the modified Todd-Coxeter algorithm:
• Polycyclic presentation of finitely generated groups:
• Rewriting systems for polycyclic groups:
• Computing the Quotients of groups
• Buffer Period
• Proposed Timeline
• Community Bonding Period: April 23rd - May 14th
• Phase-1
• Week 1: May 14th - May 20th
• Week 2: May 21st - May 28th
• Week 3 & 4: May 29th - June 11th
• Phase 2
• Week 5: June 12th - June 19th
• Week 6 and 7: June 20 - July 4th
• Week 8: July 3rd - July 11th
• Phase 3
• Week 9: July 12th - July 18th
• Week 10 & 11: July 19th - July 31st
• Final Week
• Commitment to the project
• Post GSoc
• References