MathGroup Archive 2006

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

Search the Archive

Numerically eliminate quantifiers

  • To: mathgroup at smc.vnet.net
  • Subject: [mg68733] Numerically eliminate quantifiers
  • From: "Bonny Banerjee" <banerjee at cse.ohio-state.edu>
  • Date: Thu, 17 Aug 2006 04:18:41 -0400 (EDT)
  • Organization: Ohio State University
  • Sender: owner-wri-mathgroup at wolfram.com

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,
Bonny. 



  • 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