I saw it on Dima's webpage http://www.cs.ox.ac.uk/teaching/studentprojects/357.html
But i don't know if it was actually proposed officially. Apperently there have been some movement on that aspect on sympy too: https://github.com/sympy/sympy/wiki/GSoC-2012-Application-Prateek-Papriwal:-Cylindrical-Algebraic-Decomposition https://github.com/sympy/sympy/wiki/GSoC-2012-Application-Sachin-Irukula:-Implementation-of-Quantifiers-and-Cylindrical-algebraic-decomposition-algorithm -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
