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 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.
