Re: Numerical quantifier elimination
- To: mathgroup at smc.vnet.net
- Subject: [mg73054] Re: Numerical quantifier elimination
- From: "dimitris" <dimmechan at yahoo.com>
- Date: Wed, 31 Jan 2007 00:28:46 -0500 (EST)
- References: <epkcu2$br4$1@smc.vnet.net>
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.