• Preliminaries
• Personal background
• Patch requirement
• Project
• Deliverables
• Stretch goals
• Discussion
• Advantages of the new system
• Current shortcomings of the new system
• Plan
• Tentative schedule
• Stretch goals
• dynamically defined assumptions
• transforming the current autosimplification system of sympy into autorefinement
• improving refine() using logpy
• reorganize the handlers code
• better interaction of inference engine and handlers