On Mar 23, 2011, at 11:54 AM, Mateusz Paprocki wrote: > 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, …).
By the way, a useful paper to get you started on this is [1]. Aaron Meurer [1] - K. Roach. Meijer g function representations. In ISSAC ’97: Proceedings of the 1997 international symposium on Symbolic and algebraic computation, pages 205–211, New York, NY, USA, 1997. ACM. Aaron Meurer > > 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. -- 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.
