• Table of Contents
• About Me
• Name and Contact Info
• Personal Background
• Contributions to SymPy
• The Project
• The Problem and Motivations
• Implementation Details
• Approach
• Free Group
• Words of Free Groups
• Reduced Words
• Notation used for checking the equality
• Methods and functions
• Work on Magma
• Work on Semigroups and Monoids
• Coset Enumeration
• Rewriting System
• Reidemeister-Schreier Algorithm
• Testing
• Proposed Timeline
• Week 1, 2 (May 23rd - June 6th)
• Week 3, 4 (June 6th - 20th)
• Week 5, 6, 7, 8, 9 (June 20th - July 25th)
• Week 10, 11, 12, 13 (July 25th - August 23rd)
• How do i fit in?
• Notes
• Relevant Discussions and References