Gsoc Proposal : https://github.com/sympy/sympy/wiki/GSoC-2012-Application:Sachin-Irukula-:-Implementation-of-Quantifiers-and-Cylindrical-algebraic-decomposition-algorithm
> > Regards > > Sachin Irukula > -- You received this message because you are subscribed to the Google Groups "sympy" group. To view this discussion on the web visit https://groups.google.com/d/msg/sympy/-/z6oYYWVONf4J. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.