MathGroup Archive 2007

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

Search the Archive

Re: Numerical quantifier elimination


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: Re: Changing Defaults
  • Next by Date: How to do quickest
  • Previous by thread: Numerical quantifier elimination
  • Next by thread: Re: Numerical quantifier elimination