I started working on my application of late. Please have a look at: http://wiki.sympy.org/wiki/GSoC2009Application/AkshaySrinivasan
Criticisms welcome :) On Mar 25, 8:20 pm, Akshay Srinivasan <[email protected]> wrote: > Yes, I plan to do much of the work around the new assumptions system; > I'll probably keep a port of Fabian's assumptions system, until the > logic module is accepted. :) > > On Mar 25, 8:42 am, Ondrej Certik <[email protected]> wrote: > > > Hi Akshay! > > > On Tue, Mar 24, 2009 at 8:16 PM, Akshay Srinivasan > > > <[email protected]> wrote: > > > > Hello, > > > I'm planning to apply for Summer of Code this year, to work on > > > the logic and sets. I have the following plan for the summer - > > > > Boolean Algebra > > > /\ > > > / \ > > > | Set Algebra > > > | |_ Cardinal Numbers > > > | |_ Relations > > > | |_ Venn Diagrams, probably use pyglet > > > | |_ Graph Theory > > > | |_ Graphviz Support, use yapgvb > > > | > > > |_ Logic > > > |_ Predicate , first order > > > > About me: > > > I'm a sophomore undergraduate student in Chemical Engineering at the > > > National Insitute of Technology, Surathkal (http://nitk.ac.in). > > > > I still have to prepare a timeline. > > > Excellent, looking forward! > > > Would it work with the assumption system that Fabian is creating? Of > > course, it's hard to work with something, that is still in > > development, but my question is if your implementation of logic will > > be good enough to merge with the assumption system in sympy, so that > > we can have just one logic implementation in sympy. That'd be awesome. > > > Ondrej > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sympy?hl=en -~----------~----~----~----~------~----~------~--~---
