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.