• Title :
• SymPy: Improving Assumptions
• Table of contents
• Basic Information
• Background and programming experience
• Contributions to SymPy
• Abstract
• Old Assumptions:
• New Assumptions
• The Project
• Task 1 : Remove inconsistencies in assumptions (both Old and New system)
• Task 2 : Implement First Order Logic in SymPy
• Task 3 : Improve the SAT solver
• Task 4 : Implement SMT solving capabilities in SymPy
• Task 5 : Add support for Relational queries
• Task 6 :Making old assumptions call the new assumptions in the core
• Timeline
• Pre-GSoC period
• Community Bonding Period
• Week 1,2
• Week 3,4,5
• Week 5,6,7,8
• Week 9,10,11
• Week 12
• Post GSoC period
• Notes
• References