Help with quantifier elimination
- To: mathgroup at smc.vnet.net
- Subject: [mg39254] Help with quantifier elimination
- From: "Vinayak S. Prabhu" <vinayak at ic.EECS.Berkeley.EDU>
- Date: Thu, 6 Feb 2003 03:07:41 -0500 (EST)
- Organization: University of California, Berkeley
- Sender: owner-wri-mathgroup at wolfram.com
How can quantifier elimination be done in mathematica? I want to simplify expressions like \exists x y< x && x<2 to y<2. The function Resolve just gave the expression back(in Mathematica 4.1). Fullsimplify works only if the final expression is TRUE or FALSE. Thanks Vinayak