Re: Numerical quantifier elimination
- To: mathgroup at smc.vnet.net
- Subject: [mg73044] Re: Numerical quantifier elimination
- From: "dimitris" <dimmechan at yahoo.com>
- Date: Tue, 30 Jan 2007 23:48:37 -0500 (EST)
- References: <epkcu2$br4$1@smc.vnet.net><epna6h$d06$1@smc.vnet.net>
Sorry my answer was irrelevant! I didn't notice you mentioned Numerical (quantifier elimination). I apologize for my mistake! Regards Dimitris Î?/Î? dimitris ÎγÏ?αÏ?ε: > 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.