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

Re: Numerical quantifier elimination

• To: mathgroup at smc.vnet.net
• Subject: [mg73034] Re: Numerical quantifier elimination
• From: "dimitris" <dimmechan at yahoo.com>
• Date: Tue, 30 Jan 2007 06:56:18 -0500 (EST)
• References: <epkcu2$br4$1@smc.vnet.net>

Use Resolve

See

http://documents.wolfram.com/mathematica/functions/Resolve

See also

http://mathworld.wolfram.com/QuantifierElimination.html

and references therein.

Regards,
Dimitris

Ï/Ç Bonny Banerjee Ýãñáøå:
> Is there any numerical algorithm for quantifier elimination? Please let me
> know.
>
> -- Bonny.