Mentor for Possible GSoC 2017 project : Cylindrical Algebraic Decomposition

[Arif Ahmed]

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

[Kalevi Suominen]

Hi,

I have occasionally commented on CAD on this list. If I recall correctly, this thread https://groups.google.com/forum/#!topic/sympy/p-PcoCJMiN0 was the last one, and there are probably links to older threads. One of the problems of implementing CAD in SymPy is that the theory of real algebraic numbers has not been developed. The implementation should be capable of finding the real roots of a polynomial with real algebraic coefficients and ordering them properly. I would start by investigating that subject.

Kalevi Suominen