• GSoC 2012 Application Sachin Irukula: Implementation of Quantifiers and Cylindrical algebraic decomposition algorithm
• Personal Details:
• Background and Skills:
• Project:
• Deliverables:
• Description:
• Schedule:
• Other information:
• Patch Requirement:
• References: