[Date Index] [Thread Index] [Author Index]

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.