Quantifier Elimination and Cylindrical Algebraic Decomposition looks interesting to me as a potential project. Do you know of any good resources for it?
Aaron Meurer On Mar 16, 2010, at 11:15 AM, Mateusz Paprocki wrote: > 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 > -- 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.