Hi, On Tue, Mar 16, 2010 at 07:24:19AM -0700, Christian Muise wrote: > Hello, > I was interested in applying for SoC this year, and as such I went > looking for issues to work on as part of the application process. > However, my main interest is primarily in logic, ie. anything that > goes under here: > - http://tinyurl.com/ylxkjdy > > Issue 1545 is the only relevant looking one ( > http://code.google.com/p/sympy/issues/detail?id=1545 ), but I don't > want to step on the toes of Fabian or Ronan. Are there any other > options, or issues that I'm missing? >
maybe you can consider working on quantifier elimination and cylindrical algebraic decomposition, see http://reference.wolfram.com/mathematica/tutorial/Quantifiers.html (for example). Of course you're free to propose something else, which matches your preferences more precisely. > Cheers > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to sy...@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. > -- Mateusz
signature.asc
Description: This is a digitally signed message part