On 2013-01-25, Hari Krishna <[email protected]> wrote: > --Apple-Mail-8154B97B-50BA-401C-AF26-245F7648E3AF Content-Type: > text/plain; charset=ISO-8859-1 > > Greetings folks, > > I'm new to research in math, having taken up the path of research in > august 2012. I began working on quantifier elimination and came up > with the following idea. Can you please comment on it and offer > advice? > > I'm looking to implement it for SAGE in the long run, if it proves > successful. > > The report is at: http://arxiv.org/abs/1112.5352
It would be good to have something along these lines in Sage. By the way, I noticed that your paper does not mention the progress of theory of quantifier elimination in the past 15 years, starting from the paper On the Combinatorial and Algebraic Complexity of Quantifier Elimination by S.Basu, R. Pollack and M.-F. Roy, Journal of the ACM , 4(6): 1002 - 1046 (1996). see also the recent monograph by the same authors: Algorithms in Real Algebraic Geometry, Springer 2006, also online: http://perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted1.html Just in case, Dmitrii > > Thanks and regards, > > Hari Krishna > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
