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.