[Date Index] [Thread Index] [Author Index]
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, Bonny.