Show Student Project SymPy new assumption system for Portland State University

• Google Open Source Programs
  • Site
    • Home
  • User (self)
    • Sign In
  • Programs
    • GSoC 2009
      • Home
      • Frequently Asked Questions
      • Admin & Mentor Participant Agreement
      • Press Guidelines
      • Student Participant Agreement
      • Student Info
      • Testing Guide
      • Timeline
      • Program Terms of Service
      • User's Guide
      • List participating Organizations
      • List all Student Projects
    • GSoC 2010
      • Home
      • Frequently Asked Questions
      • Home
      • Admin & Mentor Participant Agreement
      • Student Participant Agreement
      • Program Terms of Service

Release 0-6-20100201

Student Name:	fabian pedregosa
Mentor Name:	mateusz paprocki
Title:	SymPy new assumption system
Abstract:	SymPy is a computer algebra system implemented in Python. It has a rudimentary assumption system, which has many weaknesses. This project aims to implement a new assumption system that does not suffer from these limitations. By assumption system I mean a framework in which we can specify (mathematical) properties about objects, simplify expressions binded to some properties and infer other properties from the original ones.