MathGroup Archive 2006

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

Search the Archive

Numerically eliminate quantifiers

Is there a way to eliminate quantifiers numerically in Mathematica? I 
assume, the computational complexity of eliminating quantifiers numerically 
will be lesser than that of the function Resolve, especially for large 
problems involving many quantifiers.

If Mathematica does not have a way to eliminate quantifiers numerically, I 
would like to know about any other commercial software that has.

Thanks much,

  • Prev by Date: Re: position lists
  • Next by Date: Re: perplexed by blank sequence in pattern replacement
  • Previous by thread: Re: calculate Recurrence Equations
  • Next by thread: Complexity of quantifier elimination