Hello, I am Etaash Katiyar, a 2nd year mathematics undergraduate at the University of Cambridge. I've been programming in python for about 5 years. A few of the projects I've done in python are:
- Summer project at the NLP group at the Computer Laboratory, University of Cambridge. I implemented algorithms to extract a certain language phenomena from large corpora. The project lasted 9 weeks of ~8 hours of programming (in python) per weekday. - CATAM. Undergraduate computational mathematics project at the University of Cambridge. Approximately 3 weeks of mathematics and mathematical programming. - ~4 Hackathons, in each of which I've programmed in python, and won prizes in 3. I am particularly interested in the implementation of logic in computers, and computational abstract algebra. Within my undergraduate degree, I have had courses on algebra (most notably: "Groups, Rings, and Modules"), and I have read ahead on courses in Logic through course notes, and the book "COmputability and Logic" by George S. Boolos. I've used sympy as a computer algebra system before (some calculations involving orthogonal polynomials). On a logistical note: I natively speak English, and will reside either in the UK or India (GMT +5:30) for the duration of the project. My timees are quite flexible, so I doubt the time difference could be an issue. Having read through the ideas page, a number of projects caught my interest. *Questions:* 1. Are there any mentors willing to supervise a project in implementing symbolic logic? If so, I would appreciate it if we could enter into correspondence about potential projects. 1. Do you have any references or ideas for possible projects in 1. implementing *fuzzy/uncertain logic* 2. implementing *normalization, rewriting, minimization of logical expressions* 2. Are there any mentors willing to supervise a project in improving Sympy's *pattern matching abilities*? Likewise, I would appreciate it if we could enter into correspondence about potential projects. 1. Do you have any references or ideas for possible projects in implementing *expression complexity measures *- I have seen Kolmogorov Complexity before, but not for algebraic expressions. I might have misintrepreted the Ideas list, and the mentioned topics might be too narrow in scope for GSOC. If so, please let me know: I am certainly happy to do more programming :). Best, Etaash -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/4cbff39e-20d5-458e-b98f-c998e7d6ab8b%40googlegroups.com.