[Date Index] [Thread Index] [Author Index]
Re: Numerical quantifier elimination
Sorry Bonny! I did not notice to your original post you mentioned Numerical quantifier elimination! I have already made an additional post to MathGroup apologizing for my mistake. I am far away for provinding information in this subject. What is strange is that even scholar.google.com did not show any related papers about this issue! see http://scholar.google.com/scholar?hl=en&lr=&q=%22Numerical+quantifier +elimination%22 As regards approximate techniques see below http://scholar.google.com/scholar?hl=en&lr=&q=%22Approximate+quantifier +elimination%22 Have a look also in this link: http://library.wolfram.com/infocenter/Articles/503/ May be Paul Abbott, Anton Antonov, Andrzej Kozlowski or/and others will be more helpful for you! Best Regards Dimitris Ï/Ç Bonny Banerjee Ýãñáøå: > Is there any numerical algorithm for quantifier elimination? Please let me > know. > > -- Bonny.