MathGroup Archive: January 2007 [00606]

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

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.

Prev by Date: Bug in PowerMod function (mathematica 5.0)

Next by Date: Re: How to do quickest

Previous by thread: Re: Numerical quantifier elimination

Next by thread: Re: Numerical quantifier elimination