Hi, 2011/3/22 Gracjan Olbiński <[email protected]>
> Hello SymPy community! > > Let me introduce myself. My name is Gracjan Olbinski, I'm a second year > student of Computer Science and a first year of Math on Wroclaw Univeristy > of Technology, Poland. I'm interested in foundation of mathematics and > computer science in particular set theory and algorithmic logic. > > Right now I'm working on new technology of GPGPU computing which is develop > by nVidia CUDA with student organisation KNSI (there is a www page but only > in Polish language, you could find it at http://www.knsi.pwr.wroc.pl and > http://www.knsi.pwr.wroc.pl/cuda). > I am interested in participating in Sympy 2011 GSoC project. My proposals > to SymPy: > > - *Implement symbolic (formal) logics and set theory* > - *Implement definite integration algorithm using residues* (from > detailed list of projects) > - *Implement symbolic integration via Marichev-Adamchik Mellin > transform* (this will need to made a reserach on it, so will require > some more time to introduce through it before starting coding) > > Can you tell us more about your ideas? Formal logics and set theory are subjects that were already exploited quite a lot and SymPy has already support for this. It would be good to point out what exactly is missing and what subset of this you would like to implement. Definite integration is very weakly supported by SymPy, so this contribution would be very useful. As you want to use residues, did you check if SymPy has already a function for computing residues? If it has, maybe it needs improvements (possibly part of your project would have to be a contribution to other modules: solvers, series, etc.). Symbolic integration via G-functions (the last one) would be a very important contribution. Together with recursive Risch algorithm, that is being implemented by Aaron, this would allow SymPy to handle most integrals that can be found in the mathematical literature. I strongly suggest that you do research on this algorithm now and make sure that you realize, when writing your proposal, what has to be implemented (e.g. representation of G-functions, conversion algorithms, ...). How about my experience in Python? On course Introduction to Algorithms > (similiar to MiT course by Leirserson) all programs which we had to code I > wrote in python. Of course there weren't big projects e.g. B-Trees > implementation + visualisation in PyQt. Programming in C and Python gives me > most fun. > I have learned about SymPy by GSoC list of participating Organizations, so > knowledge of this library actually is not so large but in next few days I'll > learn about it. > > > Thank you. > > -- > 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. > Mateusz -- 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.
