MathGroup Archive 2003

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

Search the Archive

Help with quantifier elimination

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.



  • Prev by Date: characters not matching
  • Next by Date: Keyboard problem
  • Previous by thread: Re: characters not matching
  • Next by thread: Keyboard problem