Hello, My name is Arif Ahmed, currently a 2nd year student of Mathematics and Computer Science at BITS Pilani Goa Campus(India). I have completed mathematics courses such as Basic Algebra, Discrete Mathematics, Real Analysis, Optimization,etc . I have been contributing to Sympy for a few months and have addressed some issues( https://github.com/sympy/sympy/pulls/ArifAhmed1995).
I went through the various posts on this group regarding CAD and found that it was a project idea for GSoC 2012 - 2016. Quite a few proposals had been submitted , but unfortunately nothing was implemented. Implementation of First Order Logic is a requirement for CAD implementation and was almost completed in https://github.com/sympy/sympy/pull/7608 . I wonder if there's a confirmed mentor for CAD this year. It seems to be an important enhancement for Sympy( https://mattpap.github.io/masters-thesis/html/src/conclusions.html#cylindrical-algebraic-decomposition). Please do reply to this thread if you are willing to mentor. I would love to discuss an implementation plan and begin drafting a proposal for the same. Regards ---- Arif Ahmed -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/4e3c33c6-9650-4a79-b742-066ac030490d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
